IMP/ROOT.ML
changeset 251 f04b33ce250f
parent 241 b67c8e01ae04
--- 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*)
+