diff -r 093e273405f0 -r f04b33ce250f IOA/ROOT.ML
--- a/IOA/ROOT.ML	Thu Jun 29 12:29:58 1995 +0200
+++ b/IOA/ROOT.ML	Tue Oct 24 14:59:17 1995 +0100
@@ -20,3 +20,5 @@
 
 loadpath := "IOA/meta_theory" :: "IOA/example" :: !loadpath;
 use_thy "Correctness";
+
+make_chart ();   (*make HTML chart*)