ISABELLE DIRECTORY for Classical Higher-Order Logic

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

PRELIMINARY VERSION: DOES NOT INCLUDE A WORKING VERSION OF LISTS!

The subdirectory ex contains examples.  


