Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
xrls.thy | 22-Jan-2015 11:22 | 2.5K | ||
xrls.ML | 22-Dec-2014 11:14 | 4.0K | ||
seqms.tar | 27-Aug-2022 00:27 | 4.3M | ||
seql.thy | 28-May-2008 16:29 | 173 | ||
seql.ML | 28-May-2008 19:38 | 240 | ||
seqgen.thy | 21-Apr-2016 16:21 | 5.5K | ||
seqgen.ML | 21-Mar-2016 14:57 | 18K | ||
seqfml.thy | 25-Jan-2006 16:18 | 1.8K | ||
seqdef.thy | 25-Jan-2006 16:18 | 2.8K | ||
seqdef.ML | 06-Nov-2003 17:04 | 3.4K | ||
seq.thy | 18-Jun-2014 13:52 | 1.1K | ||
seq.ML | 21-Mar-2016 16:50 | 10K | ||
rev-formalisedprooftheory.log | 10-Feb-2015 14:20 | 32K | ||
papers/ | 19-Feb-2019 12:04 | - | ||
orig-formalisedprooftheory.log | 10-Feb-2015 14:20 | 28K | ||
new/ | 22-Nov-2007 09:46 | - | ||
mints.log | 17-Nov-2014 16:52 | 11K | ||
makefile | 22-Jul-2005 12:31 | 33 | ||
lkxdt.thy | 02-Jun-2014 15:01 | 57 | ||
lkxdt.ML | 17-Dec-2014 16:01 | 11K | ||
lksyn.thy | 25-Sep-2014 12:09 | 1.3K | ||
lksyn.ML | 04-Nov-2014 16:23 | 5.8K | ||
lksx.thy | 18-Nov-2014 17:55 | 1.4K | ||
lksx.ML | 08-Dec-2014 13:03 | 8.7K | ||
lksdt.thy | 25-Jan-2006 09:55 | 50 | ||
lksdt.ML | 08-Dec-2014 13:04 | 11K | ||
lksctr.thy | 25-Jan-2006 09:54 | 9 | ||
lksctr.ML | 25-Jan-2006 09:54 | 10 | ||
lks.thy | 01-Jul-2014 16:52 | 1.7K | ||
lks.ML | 08-Dec-2014 12:48 | 8.8K | ||
lkdt.thy | 25-Jan-2006 16:16 | 39 | ||
lkdt.ML | 22-Jul-2008 10:30 | 3.4K | ||
lk.thy | 28-May-2014 11:32 | 1.8K | ||
lk.ML | 25-Jan-2006 16:12 | 3.0K | ||
lctr.thy | 21-Apr-2016 14:10 | 1.1K | ||
lctr.ML | 02-May-2016 13:35 | 74K | ||
jesse.log | 17-Nov-2014 17:14 | 15K | ||
ipldt.thy | 19-Apr-2016 15:37 | 51 | ||
ipldt.ML | 02-May-2016 14:08 | 11K | ||
ipl.thy | 21-Mar-2016 14:29 | 1.5K | ||
ipl.ML | 22-Mar-2016 13:46 | 7.7K | ||
int.tar | 02-May-2016 14:11 | 250K | ||
gtdns.thy | 05-Jun-2017 14:26 | 28 | ||
gtdns.ML | 11-Mar-2015 16:35 | 13K | ||
gtd.thy | 22-Sep-2014 12:05 | 16 | ||
gtd.ML | 04-Dec-2014 16:24 | 11K | ||
gstep.thy | 05-Jun-2017 14:09 | 2.7K | ||
gstep.ML | 05-Jun-2017 14:10 | 7.1K | ||
gs43.thy | 09-Oct-2014 16:28 | 1.7K | ||
gs43.ML | 12-Mar-2015 14:49 | 40K | ||
gs4.thy | 05-Jun-2017 13:40 | 678 | ||
gs4.ML | 10-Mar-2015 13:53 | 23K | ||
gltree.thy | 05-Jun-2017 13:39 | 678 | ||
gltree.ML | 02-Oct-2014 12:24 | 28K | ||
glmagen.thy | 02-Oct-2014 12:27 | 150 | ||
glmagen.ML | 10-Dec-2014 12:18 | 2.0K | ||
glgen.thy | 02-Oct-2014 12:30 | 4.2K | ||
glgen.ML | 15-Oct-2014 14:21 | 14K | ||
glca.thy | 02-Oct-2014 11:59 | 98 | ||
glca.ML | 10-Dec-2014 12:17 | 4.4K | ||
gl.thy | 02-Oct-2014 12:29 | 966 | ||
gl.ML | 02-Oct-2014 12:38 | 24K | ||
gentree.thy | 06-Jun-2017 13:44 | 3.2K | ||
gentree.ML | 06-Jun-2017 14:46 | 11K | ||
gcmctree.thy | 05-Jun-2017 13:42 | 801 | ||
gcmctree.ML | 05-Jun-2017 13:49 | 15K | ||
fpt-from-s11.log | 13-Mar-2015 11:08 | 22K | ||
formalisedprooftheory.old.log | 10-Feb-2015 14:58 | 33K | ||
formalisedprooftheory.log | 11-Feb-2016 13:41 | 16K | ||
formalisedprooftheory.bbl | 11-Feb-2016 13:41 | 5.2K | ||
exptrees.sty | 13-Nov-2014 15:10 | 78K | ||
ctr.thy | 21-Mar-2017 15:48 | 9.7K | ||
ctr.ML | 08-Jun-2017 00:32 | 85K | ||
calkxc.thy | 05-Jun-2017 14:20 | 238 | ||
calkxc.ML | 03-Dec-2014 11:17 | 16K | ||
calkx.thy | 01-Jul-2014 17:20 | 138 | ||
calkx.ML | 10-Dec-2014 12:05 | 6.8K | ||
calks.thy | 30-Jun-2008 12:11 | 132 | ||
calks.ML | 20-Mar-2017 16:38 | 9.0K | ||
calk.thy | 30-Jun-2008 12:11 | 1.1K | ||
calk.ML | 28-May-2014 11:42 | 11K | ||
cagen.thy | 05-Jun-2017 14:05 | 2.2K | ||
cagen.ML | 05-Jun-2017 14:09 | 33K | ||
c8gen.thy | 29-Jul-2014 12:47 | 1.5K | ||
c8gen.ML | 20-Mar-2017 16:36 | 11K | ||
before-merging/ | 04-Apr-2019 10:36 | - | ||
all.thy | 01-Dec-2014 14:55 | 97 | ||
TODO | 19-Jun-2014 11:33 | 501 | ||
S4cns.thy | 10-Dec-2014 14:01 | 723 | ||
S4cns.ML | 18-May-2015 13:04 | 40K | ||
S4cn.thy | 01-Dec-2014 14:02 | 757 | ||
S4cn.ML | 17-Dec-2014 16:03 | 22K | ||
S4cca.thy | 02-Oct-2014 11:18 | 15 | ||
S4cca.ML | 18-Dec-2014 17:01 | 19K | ||
S4ca.thy | 22-May-2014 14:11 | 15 | ||
S4ca.ML | 29-Jul-2014 11:35 | 7.1K | ||
ROOT.ML | 21-Mar-2017 16:01 | 1.6K | ||
README | 05-Jun-2017 14:28 | 1.3K | ||
K4ca.thy | 02-Oct-2014 11:37 | 18 | ||
K4ca.ML | 21-Oct-2014 12:57 | 5.1K | ||
GTDca.thy | 26-May-2014 11:48 | 16 | ||
GTDca.ML | 11-Mar-2015 11:09 | 6.1K | ||