author wenzelm

Fri, 08 Oct 1993 14:29:55 +0100

changeset 46 f0f4978af183

parent 45 48119aa914b2

child 47 0af9dbb93529

src/Pure/Syntax/parser.ML file | annotate | diff | comparison | revisions
     1.1 --- a/src/Pure/Syntax/parser.ML	Fri Oct 08 14:18:51 1993 +0100
     1.2 +++ b/src/Pure/Syntax/parser.ML	Fri Oct 08 14:29:55 1993 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  (*  Title:      Pure/Syntax/parser.ML
     1.5 +    ID:         $Id$
     1.6      Author:     Sonia Mahjoub and Markus Wenzel, TU Muenchen
     1.7  
     1.8  Isabelle's main parser (used for terms and typs).