src/HOL/Hoare/Examples.thy
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
2005-07-13 paulson 2005-07-13 generlization of some "nat" theorems
2005-07-07 nipkow 2005-07-07 linear arithmetic now takes "&" in assumptions apart.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-09-10 nipkow 2004-09-10 Added antisymmetry simproc
2003-03-11 nipkow 2003-03-11 *** empty log message ***
2003-01-28 nipkow 2003-01-28 New example
2002-11-29 nipkow 2002-11-29 added a few lemmas
2002-10-28 nipkow 2002-10-28 moved fac example
2002-10-28 nipkow 2002-10-28 conversion ML -> thy
1998-10-14 nipkow 1998-10-14 New many-sorted version.
1996-03-28 paulson 1996-03-28 Translations for 1 and 2 moved from Hoare/Examples.thy to Nat.thy
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.