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