src/Pure/ROOT.ML
changeset 4362 e10acc395f0d
parent 4278 c64867c093fb
child 4408 ad74412ef7a0
equal deleted inserted replaced
4361:c77a484e4f95 4362:e10acc395f0d
    44 use "tactic.ML";
    44 use "tactic.ML";
    45 use "goals.ML";
    45 use "goals.ML";
    46 use "axclass.ML";
    46 use "axclass.ML";
    47 
    47 
    48 (*Theory parser and loader*)
    48 (*Theory parser and loader*)
       
    49 
       
    50 (* FIXME tmp *)
       
    51 val global_names = ref false;
       
    52 
    49 cd "Thy";
    53 cd "Thy";
    50 use "ROOT.ML";
    54 use "ROOT.ML";
    51 cd "..";
    55 cd "..";
    52 
    56 
    53 use "install_pp.ML";
    57 use "install_pp.ML";