src/HOL/Hoare/hoare.ML
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2003-03-11 nipkow 2003-03-11 *** empty log message ***
2002-11-29 nipkow 2002-11-29 added a few lemmas
2002-11-06 nipkow 2002-11-06 a new pointer example and some syntactic sugar