2010-08-12 haftmann [Thu, 12 Aug 2010 13:28:18 +0200] rev 38389
Named_Target.init: empty string represents theory target
src/HOL/Statespace/state_space.ML src/Pure/Isar/class_declaration.ML src/Pure/Isar/expression.ML src/Pure/Isar/named_target.ML src/Pure/Isar/toplevel.ML

2010-08-12 haftmann [Thu, 12 Aug 2010 13:23:46 +0200] rev 38388
Named_Target.theory_init
src/HOL/Tools/inductive.ML src/HOL/Tools/primrec.ML src/HOL/Tools/typedef.ML src/Pure/Isar/named_target.ML src/Pure/Isar/specification.ML src/Pure/Isar/toplevel.ML src/Pure/Isar/typedecl.ML

2010-08-12 Christian Urban <urbanc@in.tum.de> [Thu, 12 Aug 2010 20:11:13 +0800] rev 38387
simplified code
src/HOL/Tools/Quotient/quotient_typ.ML

2010-08-12 haftmann [Thu, 12 Aug 2010 09:00:19 +0200] rev 38386
tuned
src/HOL/Imperative_HOL/Heap_Monad.thy

2010-08-12 haftmann [Thu, 12 Aug 2010 08:58:32 +0200] rev 38385
tuned
src/HOL/Imperative_HOL/Heap_Monad.thy

2010-08-11 haftmann [Wed, 11 Aug 2010 20:25:44 +0200] rev 38384
merged
src/Pure/Isar/class.ML src/Pure/Isar/class_declaration.ML src/Pure/Isar/class_target.ML src/Pure/Isar/toplevel.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 17:59:33 +0200] rev 38383
tuned whitespace
src/Pure/axclass.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 17:59:32 +0200] rev 38382
tuned internal structure
src/Pure/Isar/class.ML src/Pure/Isar/overloading.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 17:19:27 +0200] rev 38381
remove reinit operation alltogether
src/Pure/Isar/class.ML src/Pure/Isar/local_theory.ML src/Pure/Isar/named_target.ML src/Pure/Isar/overloading.ML

2010-08-11 haftmann [Wed, 11 Aug 2010 17:16:02 +0200] rev 38380
avoid arcane Local_Theory.reinit entirely
src/Pure/Isar/toplevel.ML