src/CCL/ROOT.ML
changeset 6349 f7750d816c21
parent 1361 90d615b599d9
child 9000 c20d58286a51
equal deleted inserted replaced
6348:fdcbeaddd5fc 6349:f7750d816c21
    37 use     "typecheck.ML";
    37 use     "typecheck.ML";
    38 use     "eval.ML";
    38 use     "eval.ML";
    39 use_thy "Fix";
    39 use_thy "Fix";
    40 
    40 
    41 print_depth 8;
    41 print_depth 8;
    42 
       
    43 val CCL_build_completed = ();   (*indicate successful build*)