ISABELLE DIRECTORY for Constructive Type Theory

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

The subdirectory ex contains examples.  
