src/Pure/README

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/README	Thu Sep 16 12:20:38 1993 +0200
@@ -0,0 +1,15 @@
+			Pure: The Pure Isabelle System
+
+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
+
+Syntax -- subdirectory containing the parser/prettyprinter generator
+
+ROOT.ML -- loads all source files.  Enter ML and type:  use "ROOT.ML";
+
+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