src/HOL/Nominal/nominal_primrec.ML
Fri, 01 Dec 2006 16:08:45 +0100 nipkow Added missing "standard"
Mon, 27 Nov 2006 12:10:51 +0100 berghofe Implemented new "nominal_primrec" command for defining
less more (0) tip