src/HOL/Hoare/ExamplesAbort.thy
2011-03-29 wenzelm 2011-03-29 tuned proofs;
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
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
2003-03-23 nipkow 2003-03-23 *** empty log message ***
2003-03-11 nipkow 2003-03-11 *** empty log message ***
2003-03-11 nipkow 2003-03-11 *** empty log message ***