1994-09-14 wenzelm [Wed, 14 Sep 1994 16:11:19 +0200] rev 613 Isabelle94
removed lookup_const (use Sign.const_type instead);
src/Pure/section_utils.ML

1994-09-14 wenzelm [Wed, 14 Sep 1994 16:05:39 +0200] rev 612
replaced lookup_const by Sign.const_type;
src/ZF/add_ind_def.ML

1994-09-14 wenzelm [Wed, 14 Sep 1994 16:02:06 +0200] rev 611
now uses Sign.const_type;
src/CCL/CCL.ML src/FOLP/simp.ML src/Provers/simp.ML

1994-09-14 wenzelm [Wed, 14 Sep 1994 14:49:56 +0200] rev 610
letrec syntax: replaced "id" by "idt";
src/CCL/Term.thy

1994-09-13 lcp [Tue, 13 Sep 1994 11:39:49 +0200] rev 609
updated for Isabelle94
README

1994-09-13 lcp [Tue, 13 Sep 1994 11:19:38 +0200] rev 608
now uses find to locate .thy.ML files everywhere
rm-logfiles src/Tools/rm-logfiles

1994-09-13 lcp [Tue, 13 Sep 1994 10:42:34 +0200] rev 607
updated the identifier "version"
src/Pure/ROOT.ML

1994-09-13 lcp [Tue, 13 Sep 1994 10:26:24 +0200] rev 606
minor updates
doc-src/ind-defs.bbl

1994-09-12 lcp [Mon, 12 Sep 1994 13:20:07 +0200] rev 605
New Makefile for Logics Manual
doc-src/Logics/Makefile

1994-09-12 lcp [Mon, 12 Sep 1994 13:06:07 +0200] rev 604
New Makefile for Reference Manual
doc-src/Ref/Makefile