Nominal/Nominal2.thy
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