# HG changeset patch
# User haftmann
# Date 1229512239 -3600
# Node ID 9657871890c7602b4a6c95dfa6d9b1a628f7e328
# Parent  9d10cc6aaa028b23440f261577d0497a5f8c3ba0
dropped Ids

diff -r 9d10cc6aaa02 -r 9657871890c7 src/Pure/Isar/local_theory.ML
--- a/src/Pure/Isar/local_theory.ML	Wed Dec 17 12:10:39 2008 +0100
+++ b/src/Pure/Isar/local_theory.ML	Wed Dec 17 12:10:39 2008 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Isar/local_theory.ML
-    ID:         $Id$
     Author:     Makarius
 
 Local theory operations, with abstract target context.
diff -r 9d10cc6aaa02 -r 9657871890c7 src/Pure/Syntax/syntax.ML
--- a/src/Pure/Syntax/syntax.ML	Wed Dec 17 12:10:39 2008 +0100
+++ b/src/Pure/Syntax/syntax.ML	Wed Dec 17 12:10:39 2008 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/syntax.ML
-    ID:         $Id$
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 Standard Isabelle syntax, based on arbitrary context-free grammars