![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Bsyn.ML | 2005-04-28 10:19 | 11K | |
![]() | Bsyn.thy | 2005-04-27 15:14 | 2.9K | |
![]() | Cnv.ML | 2005-06-08 15:04 | 66 | |
![]() | Cnv.thy | 2003-08-14 08:34 | 14 | |
![]() | GROOT.ML | 2009-10-14 16:27 | 322 | |
![]() | Gen.ML | 2005-08-04 00:31 | 168 | |
![]() | Gen.thy | 2003-08-14 08:29 | 13 | |
![]() | HOL_Gen.ML | 2014-10-21 20:45 | 44K | |
![]() | HOL_Gen.thy | 2013-07-22 15:18 | 1.2K | |
![]() | HOL_TdThs.ML | 2010-06-30 12:16 | 14K | |
![]() | HOL_TdThs.thy | 2009-10-16 11:38 | 284 | |
![]() | HOL_Ths.ML | 2017-08-31 11:14 | 48K | |
![]() | HOL_Ths.thy | 2014-11-11 17:35 | 3.5K | |
![]() | HOLinML.ML | 2012-06-13 10:54 | 6.5K | |
![]() | HOLinML.thy | 2003-08-14 08:41 | 17 | |
![]() | Lat.ML | 2003-08-13 17:32 | 41 | |
![]() | Lat.thy | 2003-08-13 20:30 | 76 | |
![]() | Lat1.ML | 2003-10-02 12:06 | 769 | |
![]() | Lat1.thy | 2003-10-02 11:48 | 220 | |
![]() | Lat2.ML | 2003-08-13 20:29 | 346 | |
![]() | Lat2.thy | 2003-08-13 20:22 | 143 | |
![]() | Quotients.ML | 2010-07-01 11:49 | 1.5K | |
![]() | Quotients.sml | 2010-07-02 15:12 | 803 | |
![]() | Quotients.thy | 2010-06-30 17:21 | 713 | |
![]() | WfUn.ML | 2018-02-03 08:13 | 37K | |
![]() | WfUn.thy | 2009-08-10 13:32 | 912 | |
![]() | Wfss.ML | 2018-01-30 12:22 | 31K | |
![]() | Wfss.thy | 2015-07-07 14:32 | 2.1K | |
![]() | ack.thy | 2004-09-01 11:41 | 452 | |
![]() | bdrel.ML | 2005-04-20 09:11 | 2.8K | |
![]() | bdrel.thy | 2004-07-14 15:57 | 635 | |
![]() | cex.thy | 2008-07-28 12:02 | 603 | |
![]() | conv.ML | 2008-09-19 10:53 | 13K | |
![]() | dptfr | 2008-11-13 12:11 | 103 | |
![]() | drtree.ML | 2015-02-23 12:06 | 14K | |
![]() | drtree.thy | 2015-01-28 13:51 | 4.5K | |
![]() | drtsub.ML | 2015-02-23 12:14 | 19K | |
![]() | drtsub.thy | 2012-05-15 13:21 | 3.8K | |
![]() | dtext.ML | 2017-10-15 22:25 | 13K | |
![]() | dtext.thy | 2017-10-15 00:03 | 2.5K | |
![]() | dtree.ML | 2017-10-14 23:25 | 30K | |
![]() | dtree.thy | 2017-10-14 23:21 | 7.1K | |
![]() | dtrel.ML | 2017-07-30 11:46 | 33K | |
![]() | dtrel.thy | 2017-03-15 14:52 | 3.2K | |
![]() | dtrule.ML | 2012-05-12 22:23 | 2.4K | |
![]() | dtrule.thy | 2012-04-18 16:39 | 628 | |
![]() | dtseq.ML | 2013-07-10 17:01 | 1.5K | |
![]() | dtseq.thy | 2012-04-19 13:19 | 1.2K | |
![]() | dtsumm | 2008-09-11 14:46 | 1.7K | |
![]() | eq_conv.ML | 2008-09-19 10:55 | 6.0K | |
![]() | gen.ML | 2016-12-30 23:36 | 29K | |
![]() | gen.tar | 2022-08-27 00:51 | 4.3M | |
![]() | lib.ML | 2003-02-12 11:29 | 1.8K | |
![]() | lksyn.ML | 2008-05-20 15:18 | 1.7K | |
![]() | lksyn.thy | 2003-08-15 23:52 | 1.0K | |
![]() | makefile | 2005-07-22 12:31 | 33 | |
![]() | misc.ML | 1997-07-24 10:12 | 4.9K | |
![]() | pf.ML | 2008-12-19 17:20 | 1.1K | |
![]() | rewr.ML | 2008-05-20 18:30 | 12K | |
![]() | rewr.tac | 1998-03-02 10:39 | 4.2K | |
![]() | rewr.thy | 2008-05-20 18:30 | 3.9K | |
![]() | stringSyntax.ML | 2003-08-21 14:33 | 2.6K | |
![]() | stringSyntax.thy | 2003-08-21 14:32 | 26 | |
![]() | test.thy | 2014-11-20 14:10 | 61 | |
![]() | tripartite-README | 2018-02-05 12:34 | 1.0K | |
![]() | tripartite-paper/ | 2018-10-18 13:18 | - | |
![]() | tripartite-write-up/ | 2017-02-21 12:39 | - | |
![]() | tripartite.ML | 2018-02-05 11:45 | 38K | |
![]() | tripartite.thy | 2018-02-01 14:40 | 2.2K | |