1999-03-11 wenzelm [Thu, 11 Mar 1999 21:57:34 +0100] rev 6357
named witnesses: PureThy.get_thmss;
outer syntax for 'typedecl', 'typedef';
src/HOL/Tools/typedef_package.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:56:22 +0100] rev 6356
primrec: empty attributes;
src/HOL/thy_syntax.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:55:23 +0100] rev 6355
tuned opt_mixfix failure;
src/Pure/Isar/outer_parse.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:53:50 +0100] rev 6354
add_title;
src/Pure/Isar/isar_thy.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:53:36 +0100] rev 6353
added 'title';
tuned names, comments;
src/Pure/Isar/isar_syn.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:52:49 +0100] rev 6352
tuned space;
src/Pure/Thy/thy_parse.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:52:32 +0100] rev 6351
comment;
src/Pure/Thy/browser_info.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 21:51:49 +0100] rev 6350
workaround default_name problem;
src/Pure/pure_thy.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 13:20:35 +0100] rev 6349
removed foo_build_completed -- now handled by session management (via usedir);
src/CCL/ROOT.ML src/CCL/ex/ROOT.ML src/CTT/ROOT.ML src/CTT/ex/ROOT.ML src/Cube/ROOT.ML src/Cube/ex/ROOT.ML src/FOL/ROOT.ML src/FOL/ex/ROOT.ML src/FOLP/ROOT.ML src/FOLP/ex/ROOT.ML src/HOL/Auth/ROOT.ML src/HOL/Hoare/ROOT.ML src/HOL/IMP/ROOT.ML src/HOL/Induct/ROOT.ML src/HOL/Lambda/ROOT.ML src/HOL/Lex/ROOT.ML src/HOL/MiniML/ROOT.ML src/HOL/Quot/ROOT.ML src/HOL/ROOT.ML src/HOL/Real/ROOT.ML src/HOL/Subst/ROOT.ML src/HOL/TLA/ROOT.ML src/HOL/UNITY/ROOT.ML src/HOL/W0/ROOT.ML src/HOL/ex/ROOT.ML src/HOLCF/ROOT.ML src/HOLCF/ex/ROOT.ML src/LCF/ROOT.ML src/LCF/ex/ROOT.ML src/Sequents/ILL/ROOT.ML src/Sequents/LK/ROOT.ML src/Sequents/Modal/ROOT.ML src/Sequents/ROOT.ML src/ZF/AC/ROOT.ML src/ZF/Coind/ROOT.ML src/ZF/IMP/ROOT.ML src/ZF/ROOT.ML src/ZF/Resid/ROOT.ML src/ZF/ex/ROOT.ML

1999-03-11 wenzelm [Thu, 11 Mar 1999 12:34:10 +0100] rev 6348
include 'README';
tuned;
src/Pure/Thy/browser_info.ML