isabelle: changeset 226:cc87161971e4

Mercurial Mercurial > repos > isabelle / changeset

author	lcp
	Fri, 14 Jan 1994 12:36:30 +0100
changeset 226	cc87161971e4
parent 225	76f60e6400e8
child 227	5415c6ad0028

corrected comments

src/CCL/Wfd.ML		file \| annotate \| diff \| comparison \| revisions
src/CCL/wfd.ML		file \| annotate \| diff \| comparison \| revisions

--- 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

--- 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

isabelle

RSS Atom