  This is a sketchy implementation of the Calculus of Constructions.

  It requires Java 1.1.x .

  It's distributed under a FreeBSD-style license.  The JLex scanner
generator and JavaCup parser generator, are written by (and copyrighted
by) some people at Princeton University.  Their licenses are enclosed.
(They're bundled with this for ease of building.)

  To try it:

% cd src
% make
% cd ../classes
% java proof.type.TypecheckerApp/tests/t1.cc

  Or, try the applet.

  Enjoy!

  Josh Burdick
  jburdick@gradient.cis.upenn.edu
  20001121
