Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-16 19:25:34 -0700 (Wed, 16 Jul 2003)
Revision: 4753
Log message:
- Moved the find_subterm function from DTactic to TermAddr module (where it can
interact more nicely with sequents and SO variables)
- Term quotations inside resource annotations should now be parsed correctly
(e.g. the bound contexts should be figured based on what they are in the
rule/rewrite statement).
The top-loop now loads correctly! :-) But still raises exceptions on most
basic things (e.g, ls) :-(