]>
2006-01-25 | Andrea Asperti | Code restructuring. | tree | commitdiff |
2006-01-16 | Claudio Sacerdoti... | Dead code removed. | tree | commitdiff |
2006-01-16 | Andrea Asperti | Added recursive path ordering and demodulation tactic. | tree | commitdiff |
2006-01-12 | Enrico Tassi | fixed coercions undoooing | tree | commitdiff |
2006-01-12 | Enrico Tassi | fix | tree | commitdiff |
2006-01-12 | Enrico Tassi | fixes for paramodulation relocation | tree | commitdiff |
2006-01-12 | Enrico Tassi | fixed paramodulation trnsition | tree | commitdiff |
2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | tree | commitdiff |