Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-02 02:14:37 -0700 (Wed, 02 Jun 1999)
Revision: 2685
Log message:

      - added a display form for Summary!meta_function. Still, things do not
      always look right - take, for example itt_int theory, intElimination rule
      
      - copied itt_list.cmoz to itt_list.prlb to eliminate
      "rules nilFormation do not match" warning
      

Changes	Path
+0 -7	metaprl/BUGS
+3 -1	metaprl/theories/base/summary.ml
+1 -1	metaprl/theories/base/summary.mli
Binary	metaprl/theories/itt/itt_list.prlb