Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-14 18:35:24 -0800 (Mon, 14 Mar 2005)
Revision: 6921
Log message:

      Allow arg{|... >- ... |} notation for sequents in the dform "options" list.
      

Changes	Path
+5 -0	metaprl/filter/filter/term_grammar.ml