			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 and builds a database
Makefile.NJ -- compiles the files under SML of New Jersey and builds a binary

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
