--- a/TFL/thry.sig Thu May 22 15:11:56 1997 +0200
+++ b/TFL/thry.sig Thu May 22 15:13:16 1997 +0200
@@ -1,3 +1,9 @@
+(* Title: TFL/thry
+ ID: $Id$
+ Author: Konrad Slind, Cambridge University Computer Laboratory
+ Copyright 1997 University of Cambridge
+*)
+
signature Thry_sig =
sig
type 'a binding