--- a/src/Pure/Isar/theory_target.ML Sat Dec 13 17:13:09 2008 +0100
+++ b/src/Pure/Isar/theory_target.ML Sat Dec 13 17:46:13 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.