--- a/IMP/ROOT.ML Thu Jun 29 12:29:58 1995 +0200 +++ b/IMP/ROOT.ML Tue Oct 24 14:59:17 1995 +0100 @@ -19,3 +19,6 @@ loadpath := [".","IMP"]; time_use_thy "Properties"; time_use_thy "Equiv"; + +make_chart (); (*make HTML chart*) +