src/Pure/ROOT.ML
changeset 2582 b6e37441acb8
parent 2236 c7869a443b14
child 2960 a6b56d03ed0d
     1.1 --- a/src/Pure/ROOT.ML	Wed Feb 05 09:56:06 1997 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Thu Feb 06 17:24:05 1997 +0100
     1.3 @@ -21,9 +21,9 @@
     1.4  use "term.ML";
     1.5  
     1.6  (*Syntax module*)
     1.7 -OS.FileSys.chDir "Syntax";
     1.8 +cd "Syntax";
     1.9  use "ROOT.ML";
    1.10 -OS.FileSys.chDir "..";
    1.11 +cd "..";
    1.12  
    1.13  use "type.ML";
    1.14  use "sign.ML";
    1.15 @@ -48,9 +48,9 @@
    1.16  structure CPure = struct val thy = Theory.cpure_thy end;
    1.17  
    1.18  (*Theory parser and loader*)
    1.19 -OS.FileSys.chDir "Thy";
    1.20 +cd "Thy";
    1.21  use "ROOT.ML";
    1.22 -OS.FileSys.chDir "..";
    1.23 +cd "..";
    1.24  
    1.25  use "install_pp.ML";
    1.26  fun init_database () = (init_thy_reader (); init_pps ());