src/HOL/NatDef.ML
Tue, 25 Feb 1997 15:05:14 +0100 pusch function nat_add_primrec added to allow primrec definitions over nat
Wed, 12 Feb 1997 18:53:59 +0100 nipkow New class "order" and accompanying changes.
less more (0) tip