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