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 | ||