# HG changeset patch
# User wenzelm
# Date 1232391941 -3600
# Node ID 3f8b24fcfbd6a6d89fd00bddf71ee93ceb52d874
# Parent  f8b933a6215195a18ad25cd7e8b3363c9290630c
removed Ids;

diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/ast.ML
--- a/src/Pure/Syntax/ast.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/ast.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/ast.ML
-    ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 
 Abstract syntax trees, translation rules, matching and normalization of asts.
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/lexicon.ML
--- a/src/Pure/Syntax/lexicon.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/lexicon.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/lexicon.ML
-    ID:         $Id$
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 Lexer for the inner Isabelle syntax (terms and types).
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/mixfix.ML
--- a/src/Pure/Syntax/mixfix.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/mixfix.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/mixfix.ML
-    ID:         $Id$
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 Mixfix declarations, infixes, binders.
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/parser.ML
--- a/src/Pure/Syntax/parser.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/parser.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/parser.ML
-    ID:         $Id$
     Author:     Carsten Clasohm, Sonia Mahjoub, and Markus Wenzel, TU Muenchen
 
 General context-free parser for the inner syntax of terms, types, etc.
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/printer.ML
--- a/src/Pure/Syntax/printer.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/printer.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/printer.ML
-    ID:         $Id$
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 Pretty printing of asts, terms, types and print (ast) translation.
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/simple_syntax.ML
--- a/src/Pure/Syntax/simple_syntax.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/simple_syntax.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/simple_syntax.ML
-    ID:         $Id$
     Author:     Makarius
 
 Simple syntax for types and terms --- for bootstrapping Pure.
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/syn_ext.ML
--- a/src/Pure/Syntax/syn_ext.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/syn_ext.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/syn_ext.ML
-    ID:         $Id$
     Author:     Markus Wenzel and Carsten Clasohm, TU Muenchen
 
 Syntax extension (internal interface).
diff -r f8b933a62151 -r 3f8b24fcfbd6 src/Pure/Syntax/type_ext.ML
--- a/src/Pure/Syntax/type_ext.ML	Mon Jan 19 19:38:03 2009 +0100
+++ b/src/Pure/Syntax/type_ext.ML	Mon Jan 19 20:05:41 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      Pure/Syntax/type_ext.ML
-    ID:         $Id$
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 Utilities for input and output of types.  Also the concrete syntax of