ISABELLE DIRECTORY for Set Theory

This directory contains the Standard ML sources of the Isabelle system for Set
Theory.  The file ROOT.ML can be used to load the files;  also, see the
Makefile.

The subdirectory ex contains examples.  
