1.1 --- a/src/sml/ROOT.ML	Fri Mar 04 19:11:15 2005 +0100
     1.2 +++ b/src/sml/ROOT.ML	Fri Mar 04 19:47:04 2005 +0100
     1.3 @@ -104,7 +104,6 @@
     1.4   cd "ME";
     1.5   	use"mstools.sml";
     1.6   	use"ctree.sml";
     1.7 -(*##**)use"ctreeNEW.sml";(**@@@@@@@@@@ -> ctree.sml !!! @@@@@@@@@@@@@@@@@*)
     1.8   	use"ptyps.sml"; 
     1.9   	use"generate.sml";
    1.10   	use"modspec.sml";
    1.11 @@ -171,7 +170,7 @@
    1.12         	use"refine.sml";	       
    1.13         	use"subp-rooteq.sml";   
    1.14         	use"list_rls.sml"; 
    1.15 -(*        use"auto-inform.sml";*)
    1.16 +        use"auto-inform.sml";
    1.17  	use"tacis.sml";
    1.18  	use"me.sml";
    1.19  	use"interface-xml.sml";