--- a/src/HOL/W0/MiniML.ML Fri Jan 17 16:17:31 1997 +0100
+++ b/src/HOL/W0/MiniML.ML Fri Jan 17 16:58:59 1997 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/MiniML/MiniML.ML
+(* Title: HOL/W0/MiniML.ML
ID: $Id$
Author: Dieter Nazareth and Tobias Nipkow
Copyright 1995 TU Muenchen