![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Belnap.ML | 21-Dec-2005 10:17 | 10K | |
![]() | Belnap.thy | 21-Dec-2005 09:09 | 1.9K | |
![]() | C8cases.ML | 22-Dec-2005 12:03 | 1.2K | |
![]() | C8cases.thy | 02-Jun-2003 17:18 | 33 | |
![]() | CutRed.ML | 23-Dec-2005 12:32 | 2.6K | |
![]() | CutRed.thy | 24-Jan-2006 10:54 | 2.1K | |
![]() | DT1.ML | 19-Apr-2012 10:06 | 2.9K | |
![]() | DT_Sub.ML | 18-Apr-2012 22:18 | 6.3K | |
![]() | GCut.ML | 20-Dec-2005 13:08 | 14K | |
![]() | GCut.thy | 20-Dec-2005 08:17 | 3.0K | |
![]() | GDT.ML | 27-Dec-2011 00:23 | 28K | |
![]() | GDT.thy | 08-Dec-2010 02:36 | 6.6K | |
![]() | GElim.ML | 20-Jan-2006 16:28 | 12K | |
![]() | GElim.thy | 17-Dec-2005 16:18 | 1.5K | |
![]() | GRep1.ML | 17-Apr-2012 15:56 | 8.9K | |
![]() | HOL_C8.ML | 22-Dec-2005 16:54 | 9.2K | |
![]() | ICut.ML | 22-Dec-2005 15:53 | 6.0K | |
![]() | 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 | 02-Mar-2005 11:00 | 6.9K | |
![]() | NP.thy | 13-Dec-2002 15:43 | 2.0K | |
![]() | NP2.ML | 23-Dec-2005 10:41 | 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 | 22-Dec-2005 12:51 | 10K | |
![]() | RA_IR.thy | 28-May-2003 09:55 | 27 | |
![]() | RA_Ind.ML | 22-Dec-2005 12:31 | 4.6K | |
![]() | RA_Ind.thy | 02-Nov-2005 12:03 | 3.9K | |
![]() | RA_Rls.ML | 07-Dec-2010 03:13 | 14K | |
![]() | RA_Rls.thy | 08-Dec-2010 22:23 | 5.0K | |
![]() | 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 | 30-Nov-2010 22:59 | 27K | |
![]() | RP.thy | 21-Dec-2005 17:23 | 3.0K | |
![]() | 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 | 19-Nov-2002 11:33 | 824 | |
![]() | SN0.ML | 24-Jan-2006 09:55 | 10K | |
![]() | SN0.thy | 20-Apr-2005 09:30 | 1.1K | |
![]() | SN2.ML | 24-Jan-2006 09:55 | 7.6K | |
![]() | SN2.thy | 12-Apr-2002 12:27 | 209 | |
![]() | SNCE.ML | 30-Jan-2006 16:04 | 4.2K | |
![]() | SNCE.thy | 23-Jan-2003 17:26 | 190 | |
![]() | WC8.ML | 23-Dec-2005 12:31 | 3.7K | |
![]() | WC8.thy | 13-Dec-2002 15:43 | 39 | |
![]() | WC8cases.ML | 23-Dec-2005 12:31 | 5.6K | |
![]() | WC8cases.thy | 13-Dec-2002 15:43 | 18 | |
![]() | Wansing.ML | 19-Nov-2010 17:17 | 12K | |
![]() | Wansing.thy | 02-Nov-2005 11:08 | 1.7K | |
![]() | Wansing2.ML | 23-Jan-2006 08:36 | 11K | |
![]() | Wansing2.thy | 23-Dec-2005 16:11 | 3.3K | |
![]() | andC8.ML | 02-Nov-2005 11:54 | 1.9K | |
![]() | compC8.ML | 02-Nov-2005 12:16 | 2.0K | |
![]() | conC8.ML | 02-Nov-2005 11:55 | 6.3K | |
![]() | makeCut.ML | 02-Nov-2005 11:41 | 11K | |
![]() | makeCut.thy | 20-Dec-2002 08:25 | 24 | |
![]() | newSub.ML | 13-Oct-2003 11:07 | 3.8K | |
![]() | newSub.thy | 21-Jan-2003 11:06 | 214 | |
![]() | orC8.ML | 02-Nov-2005 11:55 | 2.9K | |
![]() | rsC8.ML | 02-Nov-2005 13:01 | 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 | 02-Nov-2005 11:55 | 3.5K | |