src/HOLCF/ex/Hoare.thy
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