src/HOL/Nominal/Examples/Class.thy
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Sun, 10 Jan 2010 18:43:45 +0100 berghofe Adapted to changes in induct method.
less more (0) -10 -2 tip