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