ISABELLE DIRECTORY for Natural deduction logic (Intuitionistic and Classical)

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

The subdirectory ex contains examples.  
