TFL/sys.sml

--- a/TFL/sys.sml	Sat Nov 01 13:00:31 1997 +0100
+++ b/TFL/sys.sml	Sat Nov 01 13:01:07 1997 +0100
@@ -25,8 +25,8 @@
 
 use "usyntax.sml";
 use "thms.sml";
-use"dcterm.sml"; 
-use"rules.new.sml";
+use "dcterm.sml"; 
+use "rules.new.sml";
 use "thry.sml";
 
 
@@ -34,4 +34,4 @@
  *      Link system and specialize for Isabelle 
  *---------------------------------------------------------------------------*)
 use "tfl.sml";
-use"post.sml";
+use "post.sml";