Tue, 09 Nov 1993 13:25:07 +0100 clasohm renamed int-prover.ML to intprover.ML,
Tue, 09 Nov 1993 13:21:41 +0100 clasohm renamed int-prover.ML to intprover.ML,
Tue, 09 Nov 1993 11:02:01 +0100 lcp now forbids semicolons in the body of br, etc. No longer
(0) -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip