Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-23 01:35:37 -0700 (Wed, 23 Apr 2003)
Revision: 4473
Log message:

      Simplified the term representation of the prec_rel summary item
      and made sure the display form actually corresponds to the representation used.
      

Changes  Path
+2 -1 metaprl/filter/base/filter_cache.ml
+11 -19 metaprl/filter/base/filter_summary.ml
+2 -2 metaprl/theories/tactic/summary.ml
+1 -1 metaprl/theories/tactic/summary.mli
+0 -0 metaprl-branches/CS101_branch/theories/cs101/cs101_lc.ml
+311 -339 metaprl-branches/CS101_branch/theories/cs101/cs101_lc.prla