Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
DT1.ML | 19-Apr-2012 10:06 | 2.9K | ||
DT_Sub.ML | 18-Apr-2012 22:18 | 6.3K | ||
GRep1.ML | 17-Apr-2012 15:56 | 8.9K | ||
GDT.ML | 27-Dec-2011 00:23 | 28K | ||
RA_Rls.thy | 08-Dec-2010 22:23 | 5.0K | ||
GDT.thy | 08-Dec-2010 02:36 | 6.6K | ||
Ipfs.ML | 07-Dec-2010 23:03 | 1.8K | ||
RA_Rls.ML | 07-Dec-2010 03:13 | 14K | ||
README | 30-Nov-2010 23:00 | 79 | ||
RP.ML | 30-Nov-2010 22:59 | 27K | ||
Wansing.ML | 19-Nov-2010 17:17 | 12K | ||
sedall | 05-Sep-2006 15:36 | 153 | ||
SNCE.ML | 30-Jan-2006 16:04 | 4.2K | ||
CutRed.thy | 24-Jan-2006 10:54 | 2.1K | ||
SN0.ML | 24-Jan-2006 09:55 | 10K | ||
SN2.ML | 24-Jan-2006 09:55 | 7.6K | ||
Wansing2.ML | 23-Jan-2006 08:36 | 11K | ||
GElim.ML | 20-Jan-2006 16:28 | 12K | ||
Wansing2.thy | 23-Dec-2005 16:11 | 3.3K | ||
CutRed.ML | 23-Dec-2005 12:32 | 2.6K | ||
WC8cases.ML | 23-Dec-2005 12:31 | 5.6K | ||
WC8.ML | 23-Dec-2005 12:31 | 3.7K | ||
sedscript | 23-Dec-2005 12:11 | 20 | ||
NP2.ML | 23-Dec-2005 10:41 | 12K | ||
HOL_C8.ML | 22-Dec-2005 16:54 | 9.2K | ||
IElim.thy | 22-Dec-2005 16:11 | 23 | ||
IElim.ML | 22-Dec-2005 16:09 | 1.1K | ||
ICut.ML | 22-Dec-2005 15:53 | 6.0K | ||
IDT.ML | 22-Dec-2005 14:27 | 5.4K | ||
RA_IR.ML | 22-Dec-2005 12:51 | 10K | ||
ML | 22-Dec-2005 12:50 | 4.5K | ||
RA_SNCE.ML | 22-Dec-2005 12:45 | 88 | ||
RA_Ind.ML | 22-Dec-2005 12:31 | 4.6K | ||
C8cases.ML | 22-Dec-2005 12:03 | 1.2K | ||
RP.thy | 21-Dec-2005 17:23 | 3.0K | ||
Belnap.ML | 21-Dec-2005 10:17 | 10K | ||
Belnap.thy | 21-Dec-2005 09:09 | 1.9K | ||
GCut.ML | 20-Dec-2005 13:08 | 14K | ||
GCut.thy | 20-Dec-2005 08:17 | 3.0K | ||
GElim.thy | 17-Dec-2005 16:18 | 1.5K | ||
rsC8.ML | 02-Nov-2005 13:01 | 2.0K | ||
compC8.ML | 02-Nov-2005 12:16 | 2.0K | ||
RA_Ind.thy | 02-Nov-2005 12:03 | 3.9K | ||
conC8.ML | 02-Nov-2005 11:55 | 6.3K | ||
unC8.ML | 02-Nov-2005 11:55 | 3.5K | ||
orC8.ML | 02-Nov-2005 11:55 | 2.9K | ||
andC8.ML | 02-Nov-2005 11:54 | 1.9K | ||
makeCut.ML | 02-Nov-2005 11:41 | 11K | ||
Wansing.thy | 02-Nov-2005 11:08 | 1.7K | ||
SN0.thy | 20-Apr-2005 09:30 | 1.1K | ||
NP.ML | 02-Mar-2005 11:00 | 6.9K | ||
SN.ML | 01-Mar-2005 17:15 | 3.5K | ||
RA_DT.ML | 23-Feb-2005 17:05 | 785 | ||
newSub.ML | 13-Oct-2003 11:07 | 3.8K | ||
stringSyntax.ML | 21-Aug-2003 14:33 | 2.6K | ||
stringSyntax.thy | 21-Aug-2003 14:32 | 26 | ||
Ipfs.thy | 03-Jun-2003 14:42 | 22 | ||
RA_SNCE.thy | 03-Jun-2003 08:41 | 37 | ||
C8cases.thy | 02-Jun-2003 17:18 | 33 | ||
ICut.thy | 02-Jun-2003 15:26 | 28 | ||
IDT.thy | 28-May-2003 15:38 | 21 | ||
RA_IR.thy | 28-May-2003 09:55 | 27 | ||
Rep_Ind.ML | 22-May-2003 17:26 | 716 | ||
Rep_Ind.thy | 21-May-2003 12:48 | 26 | ||
RA_DT.thy | 16-May-2003 11:51 | 22 | ||
RA_C8.thy | 24-Jan-2003 11:44 | 18 | ||
SNCE.thy | 23-Jan-2003 17:26 | 190 | ||
newSub.thy | 21-Jan-2003 11:06 | 214 | ||
makeCut.thy | 20-Dec-2002 08:25 | 24 | ||
WC8cases.thy | 13-Dec-2002 15:43 | 18 | ||
WC8.thy | 13-Dec-2002 15:43 | 39 | ||
NP2.thy | 13-Dec-2002 15:43 | 20 | ||
NP.thy | 13-Dec-2002 15:43 | 2.0K | ||
SN.thy | 19-Nov-2002 11:33 | 824 | ||
SN2.thy | 12-Apr-2002 12:27 | 209 | ||