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