Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-12 15:35:45 -0800 (Thu, 12 Feb 1998)
Revision: 2083
Log message:

      Added base Nuprl-Light interface to the library.
      

Changes	Path
+2 -1	metaprl/library/Makefile
Added	metaprl/library/library_type_base.ml
Properties	metaprl/library/library_type_base.ml
Added	metaprl/library/library_type_base.mli
Properties	metaprl/library/library_type_base.mli