removed Ids;
authorwenzelm
Mon Jan 19 20:05:41 2009 +0100 (2009-01-19)
changeset 295653f8b24fcfbd6
parent 29564 f8b933a62151
child 29567 286c01be90cb
child 29589 1f007b7b8ad3
removed Ids;
src/Pure/Syntax/ast.ML
src/Pure/Syntax/lexicon.ML
src/Pure/Syntax/mixfix.ML
src/Pure/Syntax/parser.ML
src/Pure/Syntax/printer.ML
src/Pure/Syntax/simple_syntax.ML
src/Pure/Syntax/syn_ext.ML
src/Pure/Syntax/type_ext.ML
     1.1 --- a/src/Pure/Syntax/ast.ML	Mon Jan 19 19:38:03 2009 +0100
     1.2 +++ b/src/Pure/Syntax/ast.ML	Mon Jan 19 20:05:41 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Pure/Syntax/ast.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Markus Wenzel, TU Muenchen
     1.7  
     1.8  Abstract syntax trees, translation rules, matching and normalization of asts.
     2.1 --- a/src/Pure/Syntax/lexicon.ML	Mon Jan 19 19:38:03 2009 +0100
     2.2 +++ b/src/Pure/Syntax/lexicon.ML	Mon Jan 19 20:05:41 2009 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  (*  Title:      Pure/Syntax/lexicon.ML
     2.5 -    ID:         $Id$
     2.6      Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
     2.7  
     2.8  Lexer for the inner Isabelle syntax (terms and types).
     3.1 --- a/src/Pure/Syntax/mixfix.ML	Mon Jan 19 19:38:03 2009 +0100
     3.2 +++ b/src/Pure/Syntax/mixfix.ML	Mon Jan 19 20:05:41 2009 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  (*  Title:      Pure/Syntax/mixfix.ML
     3.5 -    ID:         $Id$
     3.6      Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
     3.7  
     3.8  Mixfix declarations, infixes, binders.
     4.1 --- a/src/Pure/Syntax/parser.ML	Mon Jan 19 19:38:03 2009 +0100
     4.2 +++ b/src/Pure/Syntax/parser.ML	Mon Jan 19 20:05:41 2009 +0100
     4.3 @@ -1,5 +1,4 @@
     4.4  (*  Title:      Pure/Syntax/parser.ML
     4.5 -    ID:         $Id$
     4.6      Author:     Carsten Clasohm, Sonia Mahjoub, and Markus Wenzel, TU Muenchen
     4.7  
     4.8  General context-free parser for the inner syntax of terms, types, etc.
     5.1 --- a/src/Pure/Syntax/printer.ML	Mon Jan 19 19:38:03 2009 +0100
     5.2 +++ b/src/Pure/Syntax/printer.ML	Mon Jan 19 20:05:41 2009 +0100
     5.3 @@ -1,5 +1,4 @@
     5.4  (*  Title:      Pure/Syntax/printer.ML
     5.5 -    ID:         $Id$
     5.6      Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
     5.7  
     5.8  Pretty printing of asts, terms, types and print (ast) translation.
     6.1 --- a/src/Pure/Syntax/simple_syntax.ML	Mon Jan 19 19:38:03 2009 +0100
     6.2 +++ b/src/Pure/Syntax/simple_syntax.ML	Mon Jan 19 20:05:41 2009 +0100
     6.3 @@ -1,5 +1,4 @@
     6.4  (*  Title:      Pure/Syntax/simple_syntax.ML
     6.5 -    ID:         $Id$
     6.6      Author:     Makarius
     6.7  
     6.8  Simple syntax for types and terms --- for bootstrapping Pure.
     7.1 --- a/src/Pure/Syntax/syn_ext.ML	Mon Jan 19 19:38:03 2009 +0100
     7.2 +++ b/src/Pure/Syntax/syn_ext.ML	Mon Jan 19 20:05:41 2009 +0100
     7.3 @@ -1,5 +1,4 @@
     7.4  (*  Title:      Pure/Syntax/syn_ext.ML
     7.5 -    ID:         $Id$
     7.6      Author:     Markus Wenzel and Carsten Clasohm, TU Muenchen
     7.7  
     7.8  Syntax extension (internal interface).
     8.1 --- a/src/Pure/Syntax/type_ext.ML	Mon Jan 19 19:38:03 2009 +0100
     8.2 +++ b/src/Pure/Syntax/type_ext.ML	Mon Jan 19 20:05:41 2009 +0100
     8.3 @@ -1,5 +1,4 @@
     8.4  (*  Title:      Pure/Syntax/type_ext.ML
     8.5 -    ID:         $Id$
     8.6      Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
     8.7  
     8.8  Utilities for input and output of types.  Also the concrete syntax of