corrected spelling of title
authorclasohm
Fri Oct 13 11:48:40 1995 +0100 (1995-10-13)
changeset 1280909079af97b7
parent 1279 f59b4f9f2cdc
child 1281 68f6be60ab1c
corrected spelling of title
src/FOL/FOL.ML
src/FOL/IFOL.ML
     1.1 --- a/src/FOL/FOL.ML	Wed Oct 11 11:22:35 1995 +0100
     1.2 +++ b/src/FOL/FOL.ML	Fri Oct 13 11:48:40 1995 +0100
     1.3 @@ -1,9 +1,9 @@
     1.4 -(*  Title: 	FOL/fol.ML
     1.5 +(*  Title: 	FOL/FOL.ML
     1.6      ID:         $Id$
     1.7      Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1991  University of Cambridge
     1.9  
    1.10 -Tactics and lemmas for fol.thy (classical First-Order Logic)
    1.11 +Tactics and lemmas for FOL.thy (classical First-Order Logic)
    1.12  *)
    1.13  
    1.14  open FOL;
     2.1 --- a/src/FOL/IFOL.ML	Wed Oct 11 11:22:35 1995 +0100
     2.2 +++ b/src/FOL/IFOL.ML	Fri Oct 13 11:48:40 1995 +0100
     2.3 @@ -1,9 +1,9 @@
     2.4 -(*  Title: 	FOL/ifol.ML
     2.5 +(*  Title: 	FOL/IFOL.ML
     2.6      ID:         $Id$
     2.7      Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     2.8      Copyright   1992  University of Cambridge
     2.9  
    2.10 -Tactics and lemmas for ifol.thy (intuitionistic first-order logic)
    2.11 +Tactics and lemmas for IFOL.thy (intuitionistic first-order logic)
    2.12  *)
    2.13  
    2.14  open IFOL;