--- a/src/FOLP/classical.ML Thu Jul 08 16:19:23 2010 +0200
+++ b/src/FOLP/classical.ML Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,4 @@
-(* Title: FOLP/classical
+(* Title: FOLP/classical.ML
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1992 University of Cambridge