src/LCF/LCF.ML
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-01-30 clasohm 1996-01-30 expanded tabs
1994-06-29 clasohm 1994-06-29 added parentheses made necessary by change of constrain's precedence
1993-09-16 clasohm 1993-09-16 Initial revision