src/FOLP/hypsubst.ML
changeset 37744 3daaf23b9ab4
parent 36692 54b64d4ad524
child 42125 a8cbb9371154
--- a/src/FOLP/hypsubst.ML	Thu Jul 08 16:19:23 2010 +0200
+++ b/src/FOLP/hypsubst.ML	Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      FOLP/hypsubst
+(*  Title:      FOLP/hypsubst.ML
     Author:     Martin D Coen, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge