Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-26 05:27:30 -0800 (Thu, 26 Feb 2004)
Revision: 5418
Log message:
- Turned a few primitive rules into interactive.
- Annotated couple more rules for inclusion into nth_hyp.