src/LCF/fix.ML
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