2005-12-01 restoring the old status of subset_refl
paulson [Thu, 01 Dec 2005 15:45:54 +0100] rev 18315
restoring the old status of subset_refl
2005-12-01 oriented pairs theory * 'a to 'a * theory
haftmann [Thu, 01 Dec 2005 08:28:02 +0100] rev 18314
oriented pairs theory * 'a to 'a * theory
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip