TFL/thry.sml

+(*  Title:      TFL/thry
+    ID:         $Id$
+    Author:     Konrad Slind, Cambridge University Computer Laboratory
+    Copyright   1997  University of Cambridge
+*)
+
 structure Thry : Thry_sig (* LThry_sig *) = 
 struct
 
 structure USyntax  = USyntax;