ISABELLE DIRECTORY for Classical First-Order Sequent Calculus

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

The subdirectory ex contains examples.  

The subdirectory set contains an object logic built on LK.
