2000-07-07 oheimb [Fri, 07 Jul 2000 16:48:12 +0200] rev 9277
added dependency caveat
src/HOL/IMP/ROOT.ML

2000-07-07 oheimb [Fri, 07 Jul 2000 16:47:56 +0200] rev 9276
added dependency caveat
src/HOL/IMP/ROOT.ML

2000-07-07 oheimb [Fri, 07 Jul 2000 16:46:02 +0200] rev 9275
added IMP/Examples.ML dependence
src/HOL/IsaMakefile

2000-07-06 wenzelm [Thu, 06 Jul 2000 18:12:17 +0200] rev 9274
tuned msgs;
src/Pure/Isar/proof_context.ML

2000-07-06 wenzelm [Thu, 06 Jul 2000 18:11:48 +0200] rev 9273
allow comment in more commands;
doc-src/IsarRef/pure.tex src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/isar_thy.ML

2000-07-06 wenzelm [Thu, 06 Jul 2000 18:11:15 +0200] rev 9272
Isabelle99-1;
doc-src/IsarRef/intro.tex

2000-07-06 kleing [Thu, 06 Jul 2000 15:58:40 +0200] rev 9271
ADD -> IAdd
src/HOL/MicroJava/BV/BVSpec.thy src/HOL/MicroJava/BV/BVSpecTypeSafe.ML src/HOL/MicroJava/BV/LBVSpec.thy src/HOL/MicroJava/JVM/Opstack.thy

2000-07-06 nipkow [Thu, 06 Jul 2000 15:38:42 +0200] rev 9270
Removed some junk thms.
src/HOL/Lex/AutoChopper.ML

2000-07-06 nipkow [Thu, 06 Jul 2000 15:38:26 +0200] rev 9269
added zabs to arith_tac
src/HOL/Integ/IntArith.ML

2000-07-06 nipkow [Thu, 06 Jul 2000 15:38:00 +0200] rev 9268
Deleted list_case thms no subsumed by case_tac
src/HOL/List.ML