src/CCL/Wfd.ML
changeset 226 cc87161971e4
parent 8 c3d2c6dcf3f0
child 289 78541329ff35
--- a/src/CCL/Wfd.ML	Fri Jan 14 08:09:07 1994 +0100
+++ b/src/CCL/Wfd.ML	Fri Jan 14 12:36:30 1994 +0100
@@ -1,7 +1,7 @@
-(*  Title: 	CCL/wf
+(*  Title: 	CCL/wfd.ML
     ID:         $Id$
 
-For wf.thy.
+For wfd.thy.
 
 Based on
     Titles: 	ZF/wf.ML and HOL/ex/lex-prod