Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-04-28 08:52:46 -0700 (Mon, 28 Apr 1997)
Revision: 2032
Log message:
This is the initial checkin of Nuprl-Light.
I am porting the editor, so it is not included
in this checkin.
Directories:
refiner: logic engine
filter: front end to the Ocaml compiler
editor: Emacs proof editor
util: utilities
mk: Makefile templates