src/FOL/FOL.ML
changeset 1280 909079af97b7
parent 779 4ab9176b45b7
child 1459 d12da312eff4
--- 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;