--- a/src/Pure/Isar/theory_target.ML Tue Dec 12 21:25:13 2006 +0100 +++ b/src/Pure/Isar/theory_target.ML Tue Dec 12 21:25:14 2006 +0100 @@ -119,8 +119,6 @@ end; - - (* defs *) local