--- a/src/HOL/Integ/ROOT.ML Tue Nov 21 12:41:52 1995 +0100
+++ b/src/HOL/Integ/ROOT.ML Tue Nov 21 12:43:09 1995 +0100
@@ -8,7 +8,4 @@
HOL_build_completed; (*Cause examples to fail if HOL did*)
-loadpath := ["Integ"];
time_use_thy "Integ";
-
-make_chart (); (*make HTML chart*)