corrected comments
authorlcp
Fri Jan 14 12:36:30 1994 +0100 (1994-01-14)
changeset 226cc87161971e4
parent 225 76f60e6400e8
child 227 5415c6ad0028
corrected comments
src/CCL/Wfd.ML
src/CCL/wfd.ML
     1.1 --- a/src/CCL/Wfd.ML	Fri Jan 14 08:09:07 1994 +0100
     1.2 +++ b/src/CCL/Wfd.ML	Fri Jan 14 12:36:30 1994 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4 -(*  Title: 	CCL/wf
     1.5 +(*  Title: 	CCL/wfd.ML
     1.6      ID:         $Id$
     1.7  
     1.8 -For wf.thy.
     1.9 +For wfd.thy.
    1.10  
    1.11  Based on
    1.12      Titles: 	ZF/wf.ML and HOL/ex/lex-prod
     2.1 --- a/src/CCL/wfd.ML	Fri Jan 14 08:09:07 1994 +0100
     2.2 +++ b/src/CCL/wfd.ML	Fri Jan 14 12:36:30 1994 +0100
     2.3 @@ -1,7 +1,7 @@
     2.4 -(*  Title: 	CCL/wf
     2.5 +(*  Title: 	CCL/wfd.ML
     2.6      ID:         $Id$
     2.7  
     2.8 -For wf.thy.
     2.9 +For wfd.thy.
    2.10  
    2.11  Based on
    2.12      Titles: 	ZF/wf.ML and HOL/ex/lex-prod