src/ZF/ex/ROOT.ML
changeset 1296 ae31bb7774a7
parent 1282 92543c633f20
child 1351 4a960c012383
equal deleted inserted replaced
1295:27c1e88a62b4 1296:ae31bb7774a7
    40 
    40 
    41 (** CoDatatypes **)
    41 (** CoDatatypes **)
    42 time_use_thy "ex/LList";
    42 time_use_thy "ex/LList";
    43 time_use_thy "ex/CoUnit";
    43 time_use_thy "ex/CoUnit";
    44 
    44 
       
    45 make_chart ();   (*make HTML chart*)
       
    46 
    45 writeln"END: Root file for ZF Set Theory examples";
    47 writeln"END: Root file for ZF Set Theory examples";