src/HOL/IMP/Denotation.ML
1996-09-26 paulson 1996-09-26 Ran expandshort; used stac instead of ssubst
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-09-10 nipkow 1996-09-10 Converted proofs to use default clasets.
1996-05-08 paulson 1996-05-08 Updated for new form of induction rules
1996-04-27 nipkow 1996-04-27 A completely new version of IMP.
1996-02-07 nipkow 1996-02-07 Modified datatype com. Added (part of) relative completeness proof for Hoare logic.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-03-03 clasohm 1995-03-03 new version of HOL/IMP with curried function application