--- a/src/Pure/Syntax/parser.ML Fri Oct 08 14:18:51 1993 +0100
+++ b/src/Pure/Syntax/parser.ML Fri Oct 08 14:29:55 1993 +0100
@@ -1,4 +1,5 @@
(* Title: Pure/Syntax/parser.ML
+ ID: $Id$
Author: Sonia Mahjoub and Markus Wenzel, TU Muenchen
Isabelle's main parser (used for terms and typs).