src/HOL/Arith.thy
Mon, 09 Mar 1998 16:30:55 +0100 wenzelm removed pred;
Thu, 04 Dec 1997 12:44:37 +0100 nipkow pred n -> n-1
Fri, 30 May 1997 15:15:57 +0200 paulson Moving div and mod from Arith to Divides
Fri, 23 May 1997 09:17:26 +0200 nipkow Added overloaded function `size' for all datatypes.
Tue, 20 May 1997 11:38:50 +0200 paulson The diff laws must be named: we do "Delsimps [diff_Suc];"
Thu, 03 Apr 1997 19:32:03 +0200 nipkow Only layout mods.
Tue, 25 Feb 1997 15:11:12 +0100 pusch definitions of +,-,* replaced by primrec definitions
Wed, 16 Oct 1996 10:37:17 +0200 nipkow Defined pred using nat_case rather than nat_rec.
Tue, 25 Jun 1996 13:11:29 +0200 berghofe Changed argument order of nat_rec.
Fri, 14 Jun 1996 12:22:59 +0200 paulson Tidied spacing
Mon, 05 Feb 1996 21:27:16 +0100 clasohm expanded tabs; renamed subtype to typedef;
Wed, 29 Nov 1995 16:44:59 +0100 clasohm removed quotes from types in consts and syntax sections
Fri, 24 Mar 1995 12:30:35 +0100 clasohm changed syntax of tuples from <..., ...> to (..., ...)
Mon, 20 Mar 1995 15:35:28 +0100 clasohm changed syntax of "if"
Fri, 03 Mar 1995 12:02:25 +0100 clasohm new version of HOL with curried function application
less more (0) tip