Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed Ids;
authorwenzelm
Mon, 19 Jan 2009 20:05:41 +0100
changeset 29565 3f8b24fcfbd6
parent 29564 f8b933a62151
child 29567 286c01be90cb
child 29589 1f007b7b8ad3
removed Ids;
src/Pure/Syntax/ast.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/lexicon.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/mixfix.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/parser.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/printer.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/simple_syntax.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/syn_ext.ML file | annotate | diff | comparison | revisions
src/Pure/Syntax/type_ext.ML file | annotate | diff | comparison | revisions 
--- 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.
--- 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).
--- 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.
--- 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.
--- 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.
--- 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.
--- 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).
--- 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
isabelle