TFL/sys.sml

 
 (*----------------------------------------------------------------------------
  *      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";
 use "thry.sml";
 

 structure Prim = TFL(structure Rules = FastRules 
                      structure Thms  = Thms
                      structure Thry  = Thry);
 
 use"post.sml";
-