src/HOL/Hoare/Arith2.thy
2010-08-11 wenzelm 2010-08-11 modernized specifications; tuned headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-11-13 nipkow 2009-11-13 renamed lemmas "anti_sym" -> "antisym"
2009-02-21 nipkow 2009-02-21 Removed subsumed lemmas
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;
2005-09-06 wenzelm 2005-09-06 converted to Isar theory format;
2000-05-04 paulson 2000-05-04 changed 2 to #2
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-12-04 nipkow 1997-12-04 Simplified proofs.
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-05-30 paulson 1997-05-30 Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs
1996-06-25 berghofe 1996-06-25 Changed argument order of nat_rec.
1996-03-08 clasohm 1996-03-08 added constdefs section
1996-02-05 clasohm 1996-02-05 expanded tabs; incorporated Konrad's changes
1995-11-29 clasohm 1995-11-29 removed quotes from consts and syntax sections
1995-11-17 nipkow 1995-11-17 New directory. Hoare logic according to Mike Gordon.