TFL/sys.sml
changeset 3191 14bd6e5985f1
parent 2112 3902e9af752f
child 3245 241838c01caf
--- a/TFL/sys.sml	Thu May 15 11:35:26 1997 +0200
+++ b/TFL/sys.sml	Thu May 15 12:29:59 1997 +0200
@@ -29,8 +29,7 @@
  *      Supply implementations
  *---------------------------------------------------------------------------*)
 
-val _ = use_thy"WF1";          (* Wellfoundedness theory *)
-
+(* Ignore "Time" exception raised at end of building theory. *)
 use "usyntax.sml";
 use "thms.sml";
 use"dcterm.sml"; use"rules.new.sml";
@@ -45,4 +44,3 @@
                      structure Thry  = Thry);
 
 use"post.sml";
-