Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-30 19:47:17 -0700 (Tue, 30 May 2000)
Revision: 3000
Log message:

      Now sequents without hypothesis and axioms (rules without assumptions and paramaters)
      are displayed more or less correctly.
      
      Additionally, I realized that currently resource annotations on axioms are silently ignored.
      I documented it in BUGS. (I am not 100% sure - I haven't actually tested it).
      

Changes	Path
+2 -0	metaprl/BUGS
+3 -1	metaprl/filter/base/filter_summary.ml
+9 -9	metaprl/theories/base/base_dform.ml
+2 -2	metaprl/theories/base/summary.ml