--- a/Integ/ROOT.ML	Thu Jun 29 12:29:58 1995 +0200
+++ b/Integ/ROOT.ML	Tue Oct 24 14:59:17 1995 +0100
@@ -1,4 +1,4 @@
-(*  Title:  	HOL/Integ/ROOT
+(*  Title:  	Old_HOL/Integ/ROOT.ML
     ID:         $Id$
     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge
@@ -10,3 +10,5 @@
 
 loadpath := ["Integ"];
 time_use_thy "Integ";
+
+make_chart ();   (*make HTML chart*)