src/HOLCF/ex/Hoare.thy
2007-10-21 wenzelm 2007-10-21 modernized specifications ('definition', 'axiomatization');
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-06-02 wenzelm 2006-06-02 tuned;
2006-05-28 wenzelm 2006-05-28 removed legacy ML scripts;
2005-09-06 wenzelm 2005-09-06 converted to Isar theory format;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-03 wenzelm 2001-11-03 GPLed;
2001-01-09 nipkow 2001-01-09 ` -> $
1996-12-13 sandnerr 1996-12-13 Dummy change to document the change in revision 1.5: Parent theory changed to HOLCF.thy (former Tr2.thy) . Was necessary because the use of HOLCF_ss in Hoare.ML, which has been extended by the introduction of the Lift theories.
1996-12-13 sandnerr 1996-12-13 ex/Hoare.thy
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-06-29 regensbu 1995-06-29 The curried version of HOLCF is now just called HOLCF. The old uncurried version is no longer supported
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1994-01-19 nipkow 1994-01-19 HOLCF examples