src/LCF/fix.ML
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-01-30 clasohm 1996-01-30 expanded tabs
1994-10-31 lcp 1994-10-31 added header files; deleted commented-out code
1994-10-19 lcp 1994-10-19 LCF/fix/lfp_is_FIX: modified proof to suppress deep unification
1994-06-29 clasohm 1994-06-29 added parentheses made necessary by change of constrain's precedence
1994-01-18 lcp 1994-01-18 Updated refs to old Sign functions
1993-09-16 clasohm 1993-09-16 Initial revision