changeset 3302 | 404fe31fd8d2 |
parent 3272 | c93f54759539 |
child 3332 | 3921ebbd9cf0 |
--- a/TFL/rules.new.sml Thu May 22 15:11:56 1997 +0200 +++ b/TFL/rules.new.sml 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 +*) + structure FastRules : Rules_sig = struct