--- a/src/HOL/Lex/Auto.ML Tue Jan 30 15:19:20 1996 +0100
+++ b/src/HOL/Lex/Auto.ML Tue Jan 30 15:24:36 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOL/Lex/Auto.ML
+(* Title: HOL/Lex/Auto.ML
ID: $Id$
- Author: Richard Mayr & Tobias Nipkow
+ Author: Richard Mayr & Tobias Nipkow
Copyright 1995 TUM
*)