--- a/src/HOL/Lambda/ROOT.ML Tue Oct 24 14:49:45 1995 +0100
+++ b/src/HOL/Lambda/ROOT.ML Tue Oct 24 14:50:24 1995 +0100
@@ -19,4 +19,7 @@
writeln"Root file for HOL/Lambda";
loadpath := [".","Lambda"];
+
time_use_thy "Eta";
+
+make_chart (); (*make HTML chart*)