# HG changeset patch
# User clasohm
# Date 813581320 -3600
# Node ID 909079af97b74ec7d059a8b5d31dcd2a9a48a490
# Parent  f59b4f9f2cdc50d4092de893a75d9a53b5989fa4
corrected spelling of title

diff -r f59b4f9f2cdc -r 909079af97b7 src/FOL/FOL.ML
--- 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;
diff -r f59b4f9f2cdc -r 909079af97b7 src/FOL/IFOL.ML
--- 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;