Fri, 06 May 1994 13:50:36 +0200 clasohm improved syntax error:
Wed, 04 May 1994 18:00:14 +0200 lcp CTT.ML/SumE_fst,SumE_snd: tidied
Wed, 04 May 1994 17:47:30 +0200 lcp Bool.ML: replaced many rewrite_goals_tac calls by prove_goalw
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip