Nominal/Nominal2.thy
2011-12-18 Christian Urban partially localised the parsing process using functions fron Datatype
2011-12-17 Christian Urban Started Nominal2-Isabelle2011-1 branch and backported changeset 32abaea424bd Nominal2-Isabelle2011-1
2011-12-15 Christian Urban updated to lates changes in the datatype package
2011-12-14 Christian Urban generated the correct thm-list for showing that qfv are equal to support
2011-12-13 Christian Urban updated to Isabelle 13 Dec
2011-12-06 Christian Urban updated to Isabelle 6 Dec (thanks to Odrej Kuncar)
less more (0) -30 -10 -6 tip