Nominal/Nominal2.thy
2010-09-10 Christian Urban supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance)
2010-09-04 Christian Urban generated inducts rule by Project_Rule.projections
2010-09-03 Christian Urban got rid of Nominal2_Supp (is now in Nomina2_Base)
less more (0) tip