# HG changeset patch
# User lcp
# Date 758547390 -3600
# Node ID cc87161971e4d5a686f2fd80f213bc5bae58933a
# Parent  76f60e6400e89f4587bd0e1749bfd194a35c19fd
corrected comments

diff -r 76f60e6400e8 -r cc87161971e4 src/CCL/Wfd.ML
--- 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
diff -r 76f60e6400e8 -r cc87161971e4 src/CCL/wfd.ML
--- 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