Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-05-25 13:20:28 -0700 (Tue, 25 May 1999)
Revision: 2672
Log message:

      I hope I have fixed the problem with .prlb files
      that Alexei was having.  This is a real HACK!  We'll
      want to remove all code marked HACK! when we save
      formatted proofs.
      

Changes	Path
+58 -26	metaprl/filter/filter_summary.ml
+9 -1	metaprl/refiner/term_gen/term_header_constr.ml