src/HOLCF/ex/loeckx.ML
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2001-01-09 nipkow 2001-01-09 ` -> $
2000-07-05 paulson 2000-07-05 massive tidy-up: goal -> Goal, remove use of prems, etc.
1998-03-10 oheimb 1998-03-10 renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-09-26 paulson 1996-09-26 Ran expandshort; used stac instead of ssubst
1996-01-30 clasohm 1996-01-30 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-02-07 regensbu 1995-02-07 ID for the file
1995-02-07 regensbu 1995-02-07 CVS: CVS: