TFL/sys.sml

  *      Supply implementations
  *---------------------------------------------------------------------------*)
 
 use "usyntax.sml";
 use "thms.sml";
-use"dcterm.sml"; 
-use"rules.new.sml";
+use "dcterm.sml"; 
+use "rules.new.sml";
 use "thry.sml";
 
 
 (*----------------------------------------------------------------------------
  *      Link system and specialize for Isabelle 
  *---------------------------------------------------------------------------*)
 use "tfl.sml";
-use"post.sml";
+use "post.sml";