Nominal/Nominal2.thy
Sat, 25 Sep 2010 08:38:04 -0400 Christian Urban lifted size_thms and exported them as <name>.size
less more (0) -1 tip