Nominal/Nominal2.thy
Wed, 29 Sep 2010 09:47:26 -0400 Christian Urban worked example Foo1 with induct_schema
Mon, 27 Sep 2010 12:19:17 -0400 Christian Urban added postprocessed fresh-lemmas for constructors
Mon, 27 Sep 2010 09:51:15 -0400 Christian Urban post-processed eq_iff and supp threormes according to the fv-supp equality
Sat, 25 Sep 2010 08:38:04 -0400 Christian Urban lifted size_thms and exported them as <name>.size
Wed, 22 Sep 2010 23:17:25 +0200 Christian Urban removed dead code
Wed, 22 Sep 2010 14:19:48 +0800 Christian Urban made supp proofs more robust by not using the standard induction; renamed some example files
Fri, 10 Sep 2010 09:17:40 +0800 Christian Urban supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance)
Sun, 05 Sep 2010 07:00:19 +0800 Christian Urban generated inducts rule by Project_Rule.projections
Sat, 04 Sep 2010 07:39:38 +0800 Christian Urban got rid of Nominal2_Supp (is now in Nomina2_Base)
Sun, 29 Aug 2010 13:36:03 +0800 Christian Urban renamed NewParser to Nominal2
less more (0) tip