src/HOL/Hoare/Examples.thy
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.