diff -r 8f84a608883d -r ea97aa6aeba2 src/Pure/Isar/theory_target.ML --- a/src/Pure/Isar/theory_target.ML Tue Dec 30 08:18:54 2008 +0100 +++ b/src/Pure/Isar/theory_target.ML Tue Dec 30 11:10:01 2008 +0100 @@ -1,6 +1,4 @@ (* Title: Pure/Isar/theory_target.ML - ID: $Id$ - ID: $Id$ Author: Makarius Common theory/locale/class/instantiation/overloading targets.