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"; -