Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-17 23:16:41 -0800 (Wed, 17 Mar 2004)
Revision: 5480
Log message:
This is a first draft of the new implementation for the Term_match_table module.
TODO:
- Update all clients of the module to use the new interface (dforms are
probably going to be the trickiest one).
- Add the sequent matching to the new implementation (for now it does not
handle sequents).