src/HOL/NatDef.thy
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Mon, 06 Aug 2001 13:43:24 +0200 nipkow turned translation for 1::nat into def.
Tue, 22 May 2001 15:11:43 +0200 berghofe Representing set for type nat is now defined via "inductive".
Tue, 09 Jan 2001 15:22:13 +0100 nipkow `` -> and ``` -> ``
Thu, 12 Oct 2000 18:38:23 +0200 nipkow *** empty log message ***
Tue, 23 May 2000 18:29:17 +0200 paulson now 0 is overloaded
Fri, 15 Oct 1999 15:31:35 +0200 berghofe Removed obsolete comment.
Fri, 24 Jul 1998 13:30:28 +0200 berghofe Removed nat_case, nat_rec, and natE (now provided by datatype
Mon, 20 Oct 1997 11:25:39 +0200 wenzelm adapted to qualified names;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Tue, 20 May 1997 11:39:32 +0200 paulson New pattern-matching definition of pred_nat
Wed, 12 Feb 1997 18:53:59 +0100 nipkow New class "order" and accompanying changes.
less more (0) tip