--- a/src/HOL/List.ML Tue Jan 30 15:19:20 1996 +0100
+++ b/src/HOL/List.ML Tue Jan 30 15:24:36 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOL/List
+(* Title: HOL/List
ID: $Id$
- Author: Tobias Nipkow
+ Author: Tobias Nipkow
Copyright 1994 TU Muenchen
List lemmas