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
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-04-29 09:16:47 -0700 (Tue, 29 Apr 1997)
Revision: 2033
Log message:

      Modified ml_format.