ViewVC logotype

Revision 3463

Jump to revision: Previous Next
Author: nogin
Date: Sat Dec 8 03:17:49 2001 UTC (19 years, 7 months ago)
Changed paths: 3
Log Message:
Fixed bug #10 - now the term_match_table fall-back mechanism is more complete.
This broke couple of proofs, I fixed them.

Changed paths

Path Details
Directorymetaprl/refiner/reflib/term_match_table.ml modified , text changed
Directorymetaprl/theories/czf/czf_itt_group.prla modified , text changed
Directorymetaprl/theories/itt/itt_disect.prla modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26