src/LCF/pair.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1994-10-31 lcp 1994-10-31 added header files; deleted commented-out code
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