![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| 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 | |
| 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 | |
| s43.tex | 17-Nov-2014 17:16 | 28K | |
| s4cns.tex | 28-Dec-2014 22:53 | 20K | |
| s4c.tex | 28-Dec-2014 22:03 | 14K | |
| s4.tex | 17-Nov-2014 17:16 | 18K | |
| rev-formalisedprooftheory.tex | 13-Jan-2015 11:25 | 121K | |
| rev-formalisedprooftheory.log | 10-Feb-2015 14:20 | 32K | |
| rev-formalisedprooftheory.dvi | 10-Feb-2015 14:20 | 276K | |
| refs.tex | 17-Nov-2014 16:34 | 4.9K | |
| orig-formalisedprooftheory.tex | 24-Dec-2014 12:02 | 121K | |
| orig-formalisedprooftheory.log | 10-Feb-2015 14:20 | 28K | |
| orig-formalisedprooftheory.dvi | 10-Feb-2015 14:20 | 225K | |
| new/ | 22-Nov-2007 09:46 | - | |
| mints.tex | 17-Nov-2014 15:57 | 1.4K | |
| mints.log | 17-Nov-2014 16:52 | 11K | |
| mints.dvi | 17-Nov-2014 16:52 | 74K | |
| 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.tex | 17-Nov-2014 17:14 | 1.5K | |
| jesse.log | 17-Nov-2014 17:14 | 15K | |
| jesse.dvi | 17-Nov-2014 17:14 | 84K | |
| jesse-intro.tex | 17-Nov-2014 18:04 | 11K | |
| jaegerfest.bib | 19-May-2015 13:00 | 32K | |
| 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.tex | 24-Dec-2014 11:53 | 42K | |
| 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 | |
| gls.tex | 17-Nov-2014 16:34 | 20K | |
| 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 | |
| fr | 13-Mar-2015 16:43 | 140K | |
| fpt-from-s11.tex | 13-Mar-2015 16:43 | 147K | |
| fpt-from-s11.log | 13-Mar-2015 11:08 | 22K | |
| fpt-from-s11.dvi | 13-Mar-2015 11:08 | 148K | |
| formalisedprooftheory.tex | 01-Jun-2015 12:50 | 247K | |
| formalisedprooftheory.pdf | 01-Jun-2015 12:50 | 473K | |
| formalisedprooftheory.old.tex | 22-Jan-2015 15:16 | 170K | |
| formalisedprooftheory.old.log | 10-Feb-2015 14:58 | 33K | |
| formalisedprooftheory.old.dvi | 10-Feb-2015 14:58 | 187K | |
| formalisedprooftheory.log | 11-Feb-2016 13:41 | 16K | |
| formalisedprooftheory.dvi | 11-Feb-2016 13:41 | 248K | |
| formalisedprooftheory.bbl | 11-Feb-2016 13:41 | 5.2K | |
| fj | 13-Mar-2015 16:44 | 139K | |
| extra.tex | 09-Dec-2014 18:18 | 6.1K | |
| exptrees.sty | 13-Nov-2014 15:10 | 78K | |
| dawson-gore-wu.bib | 01-Jun-2015 12:50 | 32K | |
| 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/ | 17-Nov-2014 16:59 | - | |
| 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 | |