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