Fri, 17 Jul 2020 11:42:20 +0200 | cleanup Test_Parse*, start parsers for keyword ISAC | file | diff | annotate |
Thu, 02 Jul 2020 09:57:58 +0200 | test ISAC keywords | file | diff | annotate |
Wed, 21 Nov 2018 12:32:54 +0100 | update to new Isabelle conventions: {*...*} to \<open>...\<close> | file | diff | annotate |
Mon, 21 Dec 2015 13:58:02 +0100 | Isabelle2014-->2015: dropped tests not required any more | file | diff | annotate |
Sat, 14 Aug 2010 17:03:35 +0200 | v.0 of parser for Back's structured derivations, 1 alternative missing | file | diff | annotate |
Thu, 12 Aug 2010 11:24:34 +0200 | moved decompose-isar to final dire-structure | file | diff | annotate |