# HG changeset patch # User wenzelm # Date 1229186773 -3600 # Node ID 2e1011dcd57773f94a70280f29e8248a84a9b819 # Parent 66fe138979f4977e86df43f65e14caa56e8818a8 removed Ids; diff -r 66fe138979f4 -r 2e1011dcd577 src/Pure/Isar/theory_target.ML --- 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.