Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 18-Apr-2012 17:03 | 1.4K | ||
GDC.ML | 31-Dec-2011 13:14 | 953 | ||
sedall | 05-Sep-2006 15:36 | 153 | ||
HOL_Rls.ML | 21-Dec-2005 17:37 | 10K | ||
ROOT.ML | 20-Dec-2005 16:12 | 217 | ||
Wansing2.ML | 20-Dec-2005 16:12 | 12K | ||
Wansing.ML | 20-Dec-2005 16:12 | 12K | ||
SN2.thy | 20-Dec-2005 16:12 | 209 | ||
SN2.ML | 20-Dec-2005 16:12 | 7.1K | ||
SN0.thy | 20-Dec-2005 16:12 | 1.1K | ||
SN0.ML | 20-Dec-2005 16:12 | 9.1K | ||
SN.thy | 20-Dec-2005 16:12 | 824 | ||
SN.ML | 20-Dec-2005 16:12 | 3.5K | ||
RP.thy | 20-Dec-2005 16:12 | 3.0K | ||
NP2.thy | 20-Dec-2005 16:12 | 20 | ||
NP.thy | 20-Dec-2005 16:12 | 2.0K | ||
CutRed.thy | 20-Dec-2005 16:12 | 2.5K | ||
CutRed.ML | 20-Dec-2005 16:12 | 3.3K | ||
HOL_Sub.thy | 20-Dec-2005 09:24 | 8.9K | ||
fromGRep.ML | 20-Dec-2005 07:29 | 16K | ||
HOL_Rep.ML | 20-Dec-2005 07:18 | 18K | ||
newSub.ML | 20-Dec-2005 00:31 | 4.0K | ||
HOL_Elim.ML | 20-Dec-2005 00:21 | 8.1K | ||
HOL_DT.ML | 20-Dec-2005 00:15 | 16K | ||
makeCut.ML | 20-Dec-2005 00:12 | 8.9K | ||
HOL_Disp.ML | 20-Dec-2005 00:11 | 10K | ||
HOL_Cut.ML | 19-Dec-2005 23:57 | 16K | ||
DT1.ML | 19-Dec-2005 23:39 | 6.4K | ||
DT_Sub.ML | 19-Dec-2005 23:27 | 2.7K | ||
HOL_DT.thy | 19-Dec-2005 23:04 | 5.4K | ||
GRep.thy | 19-Dec-2005 21:21 | 18 | ||
RPImports.thy | 19-Dec-2005 16:47 | 52 | ||
CutRedImports.thy | 19-Dec-2005 16:41 | 38 | ||
Wansing2.thy | 19-Dec-2005 15:16 | 3.6K | ||
SNCE.thy | 19-Dec-2005 15:01 | 176 | ||
RP.ML | 19-Dec-2005 14:56 | 26K | ||
NP.ML | 19-Dec-2005 14:56 | 6.8K | ||
NP2.ML | 19-Dec-2005 14:55 | 11K | ||
HOL_Sub.ML | 19-Dec-2005 13:21 | 17K | ||
sedscript | 16-Dec-2005 11:08 | 20 | ||
unify.ML | 02-Nov-2005 11:51 | 13K | ||
GDC.thy | 31-Oct-2005 15:07 | 8.2K | ||
WC8cases.ML | 31-Oct-2005 15:02 | 6.2K | ||
compC8.ML | 31-Oct-2005 15:01 | 2.0K | ||
rsC8.ML | 31-Oct-2005 15:00 | 2.0K | ||
HOL_Rls.thy | 31-Oct-2005 14:56 | 4.5K | ||
WC8.ML | 31-Oct-2005 14:47 | 3.3K | ||
conC8.ML | 31-Oct-2005 12:52 | 6.2K | ||
unC8.ML | 31-Oct-2005 12:51 | 3.5K | ||
orC8.ML | 31-Oct-2005 12:51 | 2.9K | ||
andC8.ML | 31-Oct-2005 12:51 | 1.9K | ||
HOL_C8.ML | 31-Oct-2005 12:50 | 9.2K | ||
Wansing.thy | 31-Oct-2005 11:41 | 1.7K | ||
Belnap.ML | 02-Mar-2005 10:15 | 9.6K | ||
all.thy | 10-Feb-2005 17:20 | 63 | ||
SNCE.ML | 07-Jul-2004 12:25 | 3.8K | ||
meta_proofs.ML | 07-Jul-2004 11:27 | 1.6K | ||
derivs.ML | 07-Jul-2004 11:13 | 7.1K | ||
C8cases.ML | 25-Jun-2004 15:31 | 328 | ||
stringSyntax.thy | 12-Feb-2003 11:34 | 55 | ||
makeCut.thy | 20-Dec-2002 08:50 | 40 | ||
HOL_C8.thy | 20-Dec-2002 08:24 | 61 | ||
HOL_Cut.thy | 20-Dec-2002 08:23 | 2.9K | ||
Belnap.thy | 02-Oct-2002 13:59 | 1.7K | ||
HOL_Disp.thy | 27-Sep-2002 16:49 | 1.6K | ||
HOL_Rep.thy | 27-Sep-2002 16:25 | 2.9K | ||
derrls.ML | 16-Jul-2002 15:46 | 4.4K | ||
HOL_ElimC8.ML | 22-May-2002 12:35 | 3.1K | ||
cvt.ml | 12-Apr-2002 12:27 | 5.7K | ||
summ | 12-Apr-2002 12:27 | 1.9K | ||
stringSyntax.ML | 12-Apr-2002 12:27 | 2.0K | ||
HOL_ElimC8.thy | 12-Apr-2002 12:27 | 34 | ||
HOL_Elim.thy | 12-Apr-2002 12:27 | 1.0K | ||
qed.ml | 12-Apr-2002 12:27 | 1.2K | ||
newSub.thy | 12-Apr-2002 12:27 | 220 | ||
WC8cases.thy | 12-Apr-2002 12:27 | 18 | ||
meta_proofs.thy | 12-Apr-2002 12:27 | 33 | ||
detab.ml | 12-Apr-2002 12:27 | 2.1K | ||
WC8.thy | 12-Apr-2002 12:27 | 39 | ||
C8cases.thy | 12-Apr-2002 12:27 | 20 | ||