2000-09-20 wenzelm [Wed, 20 Sep 2000 21:20:01 +0200] rev 10039
tuned;
Admin/makerpm

2000-09-20 wenzelm [Wed, 20 Sep 2000 14:59:19 +0200] rev 10038
tuned rpm command lines;
Admin/page/dist-content/packages.content INSTALL

2000-09-20 wenzelm [Wed, 20 Sep 2000 00:50:09 +0200] rev 10037
updated;
doc-src/AxClass/generated/isabelle.sty doc-src/TutorialI/isabelle.sty

2000-09-20 wenzelm [Wed, 20 Sep 2000 00:02:26 +0200] rev 10036
made SML/NJ happy;
src/Provers/clasimp.ML

2000-09-19 wenzelm [Tue, 19 Sep 2000 23:54:25 +0200] rev 10035
added common args keywords;
src/Pure/Isar/args.ML

2000-09-19 wenzelm [Tue, 19 Sep 2000 23:53:00 +0200] rev 10034
tuned args;
src/Provers/classical.ML src/Provers/simplifier.ML src/Provers/splitter.ML src/Pure/Isar/attrib.ML src/Pure/Isar/method.ML

2000-09-19 wenzelm [Tue, 19 Sep 2000 23:52:37 +0200] rev 10033
added iff_add_global', iff_add_local' (syntax "iff?");
tuned;
src/Provers/clasimp.ML

2000-09-19 wenzelm [Tue, 19 Sep 2000 23:52:00 +0200] rev 10032
tuned;
src/HOL/Tools/recdef_package.ML

2000-09-19 wenzelm [Tue, 19 Sep 2000 23:51:39 +0200] rev 10031
attribute / modifier 'iff': support "?" mode;
doc-src/IsarRef/generic.tex

2000-09-19 wenzelm [Tue, 19 Sep 2000 23:51:00 +0200] rev 10030
tuned msg;
lib/Tools/install