Thu, 19 Apr 2018 13:58:22 +0100 | Christian Urban | updated to Isabelle 2016-1 | changeset | files |
Thu, 19 Apr 2018 13:57:17 +0100 | Christian Urban | updated to Isabelle 2016-1 | changeset | files |
Tue, 22 Mar 2016 12:18:30 +0000 | Christian Urban |
fixed a problem with two example theories | changeset | files |
Sat, 19 Mar 2016 21:06:48 +0000 | Christian Urban |
updated to Isabelle 2016 | changeset | files |
Mon, 20 Jul 2015 11:21:59 +0100 | Christian Urban |
removed junk | changeset | files |
Thu, 09 Jul 2015 09:13:23 +0100 | Christian Urban |
updated branch | changeset | files |
Thu, 09 Jul 2015 09:12:44 +0100 | Christian Urban |
updated examples | changeset | files |
Thu, 09 Jul 2015 02:32:46 +0100 | Christian Urban |
updated for Isabelle 2015 | changeset | files |