Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-12-07 19:17:49 -0800 (Fri, 07 Dec 2001)
Revision: 3463
Log message:

      Fixed bug #10 - now the term_match_table fall-back mechanism is more complete.
      This broke couple of proofs, I fixed them.
      

Changes	Path
+72 -78	metaprl/refiner/reflib/term_match_table.ml
+421 -626	metaprl/theories/czf/czf_itt_group.prla
+546 -616	metaprl/theories/itt/itt_disect.prla