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