Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-30 16:49:51 -0700 (Wed, 30 Jun 2004)
Revision: 6033
Log message:

      Sequent conclusions should be LIST0, not LIST1 (i.e. the grammar should allow
      sequents with 0 conclusions).
      

Changes	Path
+6 -6	metaprl/filter/filter/term_grammar.ml