diff -r cdcc4d5602b6 -r 404fe31fd8d2 TFL/rules.sig
--- a/TFL/rules.sig	Thu May 22 15:11:56 1997 +0200
+++ b/TFL/rules.sig	Thu May 22 15:13:16 1997 +0200
@@ -1,3 +1,11 @@
+(*  Title:      TFL/rules
+    ID:         $Id$
+    Author:     Konrad Slind, Cambridge University Computer Laboratory
+    Copyright   1997  University of Cambridge
+
+Emulation of HOL inference rules for TFL
+*)
+
 signature Rules_sig =
 sig
 (*  structure USyntax : USyntax_sig *)