Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-13 10:08:38 -0700 (Mon, 13 Apr 1998)
Revision: 2121
Log message:

      Adding interactive proofs.
      

Changes	Path
Properties	metaprl/filter
+5 -2	metaprl/filter/Makefile
+22 -11	metaprl/filter/filter_bin.ml
+422 -358	metaprl/filter/filter_cache.ml
+8 -41	metaprl/filter/filter_cache.mli
Added	metaprl/filter/filter_cache_type.mlz
Properties	metaprl/filter/filter_cache_type.mlz
+26 -15	metaprl/filter/filter_parse.ml
+1292 -1147	metaprl/filter/filter_prog.ml
+7 -15	metaprl/filter/filter_prog.mli
Added	metaprl/filter/proof_type.mlz
Properties	metaprl/filter/proof_type.mlz