diff -r 636322bfd057 -r 815ef5848324 src/Pure/README
--- a/src/Pure/README	Wed May 21 17:11:46 1997 +0200
+++ b/src/Pure/README	Wed May 21 17:13:00 1997 +0200
@@ -3,16 +3,10 @@
 This directory contains the ML source files for Pure Isabelle, which is the
 basis for all object-logics.  Important files include:
 
-Makefile -- compiles the files under Poly/ML or SML of New Jersey
+IsaMakefile -- compiles the files
 
-Syntax/  -- subdirectory containing the syntax module
-
-Thy/     -- subdirectory containing the thy file parser and loader
+Syntax/     -- the syntax module
 
-ROOT.ML  -- loads all source files.  Enter ML and type:  use "ROOT.ML";
+Thy/        -- the theory file parser and loader
 
-NJ.ML    -- compatibility file for Standard ML of New Jersey.  You may wish to
-            alter the parameter settings.
-
-POLY.ML  -- compatibility file for Poly/ML
-
+ML-Systems/ -- compatibility files for various ML systems