TFL/rules.sig
changeset 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3353 9112a2efb9a3
     1.1 --- a/TFL/rules.sig	Thu May 22 15:11:56 1997 +0200
     1.2 +++ b/TFL/rules.sig	Thu May 22 15:13:16 1997 +0200
     1.3 @@ -1,3 +1,11 @@
     1.4 +(*  Title:      TFL/rules
     1.5 +    ID:         $Id$
     1.6 +    Author:     Konrad Slind, Cambridge University Computer Laboratory
     1.7 +    Copyright   1997  University of Cambridge
     1.8 +
     1.9 +Emulation of HOL inference rules for TFL
    1.10 +*)
    1.11 +
    1.12  signature Rules_sig =
    1.13  sig
    1.14  (*  structure USyntax : USyntax_sig *)