src/HOL/Lambda/ROOT.ML
changeset 1351 4a960c012383
parent 1347 89550840ef93
child 1465 5d7a7e439cec
     1.1 --- a/src/HOL/Lambda/ROOT.ML	Tue Nov 21 12:41:52 1995 +0100
     1.2 +++ b/src/HOL/Lambda/ROOT.ML	Tue Nov 21 12:43:09 1995 +0100
     1.3 @@ -7,8 +7,5 @@
     1.4  HOL_build_completed;	(*Make examples fail if HOL did*)
     1.5  
     1.6  writeln"Root file for HOL/Lambda";
     1.7 -loadpath := [".","Lambda"];
     1.8  
     1.9  time_use_thy "Eta";
    1.10 -
    1.11 -make_chart ();   (*make HTML chart*)