src/HOL/Arith.thy
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-03-09 wenzelm 1998-03-09 removed pred;
1997-12-04 nipkow 1997-12-04 pred n -> n-1
1997-05-30 paulson 1997-05-30 Moving div and mod from Arith to Divides Moving dvd from ex/Primes to Divides
1997-05-23 nipkow 1997-05-23 Added overloaded function `size' for all datatypes.
1997-05-20 paulson 1997-05-20 The diff laws must be named: we do "Delsimps [diff_Suc];"
1997-04-03 nipkow 1997-04-03 Only layout mods.
1997-02-25 pusch 1997-02-25 definitions of +,-,* replaced by primrec definitions
1996-10-16 nipkow 1996-10-16 Defined pred using nat_case rather than nat_rec. Added expand_nat_case
1996-06-25 berghofe 1996-06-25 Changed argument order of nat_rec.
1996-06-14 paulson 1996-06-14 Tidied spacing
1996-02-05 clasohm 1996-02-05 expanded tabs; renamed subtype to typedef; incorporated Konrad's changes
1995-11-29 clasohm 1995-11-29 removed quotes from types in consts and syntax sections
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-20 clasohm 1995-03-20 changed syntax of "if"
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application