--- a/Subst/ROOT.ML	Thu Jun 29 12:29:58 1995 +0200
+++ b/Subst/ROOT.ML	Tue Oct 24 14:59:17 1995 +0100
@@ -1,4 +1,4 @@
-(*  Title: 	HOL/Subst
+(*  Title: 	Old_HOL/Subst/ROOT.ML
     Author: 	Martin Coen, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
@@ -35,3 +35,5 @@
 use_thy "Subst/Subst";
 use_thy "Subst/Unifier";
 writeln"END: Root file for Substitutions and Unification";
+
+make_chart ();   (*make HTML chart*)