src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Mar 09 16:07:03 1998 +0100
+++ b/src/Pure/ROOT.ML	Mon Mar 09 16:07:22 1998 +0100
@@ -4,7 +4,7 @@
     Copyright   1993  University of Cambridge
 
 Root file for Pure Isabelle: all modules in proper order for loading.
-Loads Pure Isabelle into an empty ML database (see also IsaMakefile).
+Loads Pure Isabelle into an empty ML database (see also README).
 *)
 
 val banner = "Pure Isabelle";