# HG changeset patch
# User wenzelm
# Date 750086995 -3600
# Node ID f0f4978af1835ef449d1badd1e9f3267ee8d8182
# Parent  48119aa914b210b331f2af4ac447a2517f6c7bbe
*** empty log message ***

diff -r 48119aa914b2 -r f0f4978af183 src/Pure/Syntax/parser.ML
--- 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).