![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Belnap.ML | 15-May-2012 16:30 | 10K | |
| Belnap.thy | 10-May-2012 11:55 | 1.9K | |
| C8cases.ML | 15-May-2012 13:16 | 1.2K | |
| C8cases.thy | 02-Jun-2003 17:18 | 33 | |
| CutRed.ML | 09-May-2012 12:18 | 2.6K | |
| CutRed.thy | 09-May-2012 12:15 | 2.2K | |
| DT1.ML | 19-Apr-2012 10:06 | 2.9K | |
| GCut.ML | 15-May-2012 13:45 | 13K | |
| GCut.thy | 02-Jan-2014 18:25 | 3.3K | |
| GDT.ML | 15-May-2012 11:35 | 5.6K | |
| GDT.thy | 23-Apr-2012 11:59 | 517 | |
| GElim.ML | 15-May-2012 16:28 | 13K | |
| GElim.thy | 10-May-2012 11:05 | 1.0K | |
| GRep1.ML | 15-May-2012 18:32 | 9.0K | |
| HOL_C8.ML | 12-Jan-2014 11:06 | 10K | |
| ICut.ML | 15-May-2012 17:56 | 6.1K | |
| ICut.thy | 02-Jun-2003 15:26 | 28 | |
| IDT.ML | 22-Dec-2005 14:27 | 5.4K | |
| IDT.thy | 28-May-2003 15:38 | 21 | |
| IElim.ML | 22-Dec-2005 16:09 | 1.1K | |
| IElim.thy | 22-Dec-2005 16:11 | 23 | |
| Ipfs.ML | 07-Dec-2010 23:03 | 1.8K | |
| Ipfs.thy | 03-Jun-2003 14:42 | 22 | |
| ML | 22-Dec-2005 12:50 | 4.5K | |
| NP.ML | 15-May-2012 17:23 | 7.0K | |
| NP.thy | 11-May-2012 15:58 | 1.9K | |
| NP2.ML | 11-May-2012 19:17 | 12K | |
| NP2.thy | 13-Dec-2002 15:43 | 20 | |
| RA_C8.thy | 24-Jan-2003 11:44 | 18 | |
| RA_DT.ML | 23-Feb-2005 17:05 | 785 | |
| RA_DT.thy | 16-May-2003 11:51 | 22 | |
| RA_IR.ML | 14-May-2012 16:40 | 10K | |
| RA_IR.thy | 28-May-2003 09:55 | 27 | |
| RA_Ind.ML | 12-May-2012 21:28 | 4.6K | |
| RA_Ind.thy | 12-May-2012 21:26 | 3.9K | |
| RA_Rls.ML | 14-May-2012 23:22 | 14K | |
| RA_Rls.thy | 11-May-2012 19:28 | 5.1K | |
| RA_SNCE.ML | 22-Dec-2005 12:45 | 88 | |
| RA_SNCE.thy | 03-Jun-2003 08:41 | 37 | |
| README | 30-Nov-2010 23:00 | 79 | |
| RP.ML | 15-May-2012 17:15 | 27K | |
| RP.thy | 11-May-2012 10:43 | 2.9K | |
| Rep_Ind.ML | 22-May-2003 17:26 | 716 | |
| Rep_Ind.thy | 21-May-2003 12:48 | 26 | |
| SN.ML | 01-Mar-2005 17:15 | 3.5K | |
| SN.thy | 09-May-2012 21:41 | 851 | |
| SN0.ML | 09-May-2012 14:09 | 10K | |
| SN0.thy | 09-May-2012 12:21 | 1.1K | |
| SN2.ML | 09-May-2012 21:52 | 7.6K | |
| SN2.thy | 09-May-2012 21:42 | 225 | |
| SNCE.ML | 15-May-2012 17:29 | 4.1K | |
| SNCE.thy | 11-May-2012 19:24 | 207 | |
| WC8.ML | 12-May-2012 21:24 | 3.7K | |
| WC8.thy | 13-Dec-2002 15:43 | 39 | |
| WC8cases.ML | 15-May-2012 12:40 | 5.6K | |
| WC8cases.thy | 13-Dec-2002 15:43 | 18 | |
| Wansing.ML | 09-May-2012 21:40 | 12K | |
| Wansing.thy | 09-May-2012 14:11 | 1.7K | |
| Wansing2.ML | 10-May-2012 10:18 | 11K | |
| Wansing2.thy | 11-May-2012 10:42 | 3.4K | |
| andC8.ML | 11-May-2012 23:36 | 1.9K | |
| compC8.ML | 11-May-2012 23:36 | 2.0K | |
| conC8.ML | 11-May-2012 23:48 | 5.9K | |
| makeCut.ML | 15-May-2012 18:28 | 10K | |
| makeCut.thy | 20-Dec-2002 08:25 | 24 | |
| makefile | 22-Jul-2005 12:31 | 33 | |
| new/ | 22-Nov-2007 09:44 | - | |
| newSub.ML | 13-Oct-2003 11:07 | 3.8K | |
| newSub.thy | 11-May-2012 10:36 | 238 | |
| orC8.ML | 12-Jan-2014 10:58 | 2.9K | |
| rsC8.ML | 11-May-2012 23:33 | 2.0K | |
| sedall | 05-Sep-2006 15:36 | 153 | |
| sedscript | 23-Dec-2005 12:11 | 20 | |
| stringSyntax.ML | 21-Aug-2003 14:33 | 2.6K | |
| stringSyntax.thy | 21-Aug-2003 14:32 | 26 | |
| unC8.ML | 15-May-2012 13:13 | 3.5K | |
| unify.ML | 11-Jan-2014 22:11 | 16K | |