src/HOL/IMP/ROOT.ML
1995-03-07 nipkow 1995-03-07 Hoare logic
1995-03-03 clasohm 1995-03-03 new version of HOL/IMP with curried function application