Wed, 18 Jan 1995 11:36:04 +0100 clasohm added optional precedence for body of binder;
Wed, 18 Jan 1995 10:17:55 +0100 wenzelm quite a lot of minor and major revisions (inspecting theories, read_axm,
Fri, 13 Jan 1995 02:02:00 +0100 lcp empty_def typo Isabelle94-2
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip