Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
corrected spelling of title
authorclasohm
Fri, 13 Oct 1995 11:48:40 +0100
changeset 1280 909079af97b7
parent 1279 f59b4f9f2cdc
child 1281 68f6be60ab1c
corrected spelling of title
src/FOL/FOL.ML file | annotate | diff | comparison | revisions
src/FOL/IFOL.ML file | annotate | diff | comparison | revisions 
--- a/src/FOL/FOL.ML	Wed Oct 11 11:22:35 1995 +0100
+++ b/src/FOL/FOL.ML	Fri Oct 13 11:48:40 1995 +0100
@@ -1,9 +1,9 @@
-(*  Title: 	FOL/fol.ML
+(*  Title: 	FOL/FOL.ML
     ID:         $Id$
     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
-Tactics and lemmas for fol.thy (classical First-Order Logic)
+Tactics and lemmas for FOL.thy (classical First-Order Logic)
 *)
 
 open FOL;
--- a/src/FOL/IFOL.ML	Wed Oct 11 11:22:35 1995 +0100
+++ b/src/FOL/IFOL.ML	Fri Oct 13 11:48:40 1995 +0100
@@ -1,9 +1,9 @@
-(*  Title: 	FOL/ifol.ML
+(*  Title: 	FOL/IFOL.ML
     ID:         $Id$
     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
 
-Tactics and lemmas for ifol.thy (intuitionistic first-order logic)
+Tactics and lemmas for IFOL.thy (intuitionistic first-order logic)
 *)
 
 open IFOL;
isabelle