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;