src/FOLP/IFOLP.ML
changeset 1142 eb0e2ff8f032
parent 0 a5a9c433f639
child 1459 d12da312eff4
--- a/src/FOLP/IFOLP.ML	Thu Jun 01 13:25:06 1995 +0200
+++ b/src/FOLP/IFOLP.ML	Fri Jun 02 10:38:48 1995 +0200
@@ -1,9 +1,9 @@
-(*  Title: 	FOLP/ifol.ML
+(*  Title: 	FOLP/IFOLP.ML
     ID:         $Id$
-    Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
+    Author: 	Martin D Coen, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
 
-Tactics and lemmas for ifol.thy (intuitionistic first-order logic)
+Tactics and lemmas for IFOLP (Intuitionistic First-Order Logic with Proofs)
 *)
 
 open IFOLP;