Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-06 23:20:22 -0700 (Sun, 06 Apr 2003)
Revision: 4389
Log message:
New syntax for sequent context and binding-free sequent hypotheses.
Note: in "... sequent ...{ <H>..." there now _needs_ to be a space
between "{" and "<" (I have idea why camlp4 acts this way).