src/Cube/ROOT.ML
changeset 17252 e352f65d5893
parent 6349 f7750d816c21
child 17453 eccff680177d
equal deleted inserted replaced
17251:84fcead1f20b 17252:e352f65d5893
     7 *)
     7 *)
     8 
     8 
     9 val banner = "Barendregt's Lambda-Cube";
     9 val banner = "Barendregt's Lambda-Cube";
    10 writeln banner;
    10 writeln banner;
    11 
    11 
    12 print_depth 1;  
       
    13 
       
    14 use_thy "Cube";
    12 use_thy "Cube";
    15 
       
    16 print_depth 8;