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