1999-04-14 wenzelm [Wed, 14 Apr 1999 19:07:04 +0200] rev 6431
Tools/inductive_package.ML;
src/HOL/IsaMakefile src/HOL/ROOT.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 19:05:28 +0200] rev 6430
triple_swap;
src/HOL/Tools/inductive_package.ML src/HOL/Tools/primrec_package.ML src/Pure/Isar/outer_parse.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 19:05:10 +0200] rev 6429
Wrapper module for Konrad Slind's TFL package.
src/HOL/Tools/recdef_package.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 18:55:29 +0200] rev 6428
remoced old set_current_thy;
doc-src/Logics/HOL.tex doc-src/Logics/logics.ind

1999-04-14 wenzelm [Wed, 14 Apr 1999 15:58:01 +0200] rev 6427
tuned messages;
src/HOL/Tools/datatype_abs_proofs.ML src/HOL/Tools/datatype_package.ML src/HOL/Tools/datatype_rep_proofs.ML src/HOL/Tools/inductive_package.ML src/HOL/Tools/primrec_package.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 14:44:04 +0200] rev 6426
intrs: names and atts;
src/HOL/thy_syntax.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 14:42:53 +0200] rev 6425
tuned comments;
tuned types;
src/HOL/Tools/primrec_package.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 14:42:23 +0200] rev 6424
tuned comments;
intrs: names and atts;
Isar outer syntax;
src/HOL/Tools/inductive_package.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 14:41:01 +0200] rev 6423
tuned comments;
src/HOL/Tools/datatype_package.ML

1999-04-14 wenzelm [Wed, 14 Apr 1999 14:40:43 +0200] rev 6422
intrs: provide names and atts;
src/HOL/Tools/datatype_abs_proofs.ML src/HOL/Tools/datatype_rep_proofs.ML