2002-07-16 wenzelm [Tue, 16 Jul 2002 18:41:18 +0200] rev 13376
assert_propT;
src/Pure/Isar/object_logic.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:41:00 +0200] rev 13375
proper predicate definitions of locale body;
src/Pure/Isar/locale.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:40:11 +0200] rev 13374
add_locale: adapted args;
src/Pure/Isar/isar_thy.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:39:55 +0200] rev 13373
locale: optional predicate name, or "open";
src/Pure/Isar/isar_syn.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:39:27 +0200] rev 13372
module now right after ProofContext (for locales);
src/Pure/Isar/context_rules.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:38:36 +0200] rev 13371
avoid "_st" versions of proof data;
src/Pure/Isar/calculation.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:38:11 +0200] rev 13370
context rules;
src/Pure/Isar/attrib.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:37:56 +0200] rev 13369
tuned order of modules;
src/Pure/Isar/ROOT.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:37:03 +0200] rev 13368
added equal_elim_rule1;
src/Pure/drule.ML

2002-07-16 wenzelm [Tue, 16 Jul 2002 18:26:52 +0200] rev 13367
moved stuff to List.thy;
src/HOL/Main.thy