diff -r 093e273405f0 -r f04b33ce250f ex/ROOT.ML
--- a/ex/ROOT.ML	Thu Jun 29 12:29:58 1995 +0200
+++ b/ex/ROOT.ML	Tue Oct 24 14:59:17 1995 +0100
@@ -1,4 +1,4 @@
-(*  Title:  	HOL/ex/ROOT
+(*  Title:  	Old_HOL/ex/ROOT.ML
     ID:         $Id$
     Author: 	Tobias Nipkow, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
@@ -28,4 +28,7 @@
 time_use_thy "Term";
 time_use_thy "Simult";
 time_use_thy "MT";
+
+make_chart ();   (*make HTML chart*)
+
 writeln     "END: Root file for HOL examples";