Tue, 18 Mar 1997 10:43:29 +0100 paulson Conducted the IFOL proofs using intuitionistic tools
Tue, 18 Mar 1997 10:42:08 +0100 paulson Stopped giving Introduction rules as Elimination rules
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip