Thu, 23 Jan 1997 10:35:28 +0100 paulson Mended spelling error
Thu, 23 Jan 1997 10:35:03 +0100 paulson Added sees_Spy_partsEs
Thu, 23 Jan 1997 10:34:18 +0100 paulson Tidied proofs by using "etac rev_mp" instead of applying rev_mp to result()
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip