]>
2006-05-15 | Enrico Tassi | - new given_clause | blob | commitdiff | raw |
2006-05-14 | Enrico Tassi | - Removed old proofs | blob | commitdiff | raw | diff to current |
2006-05-05 | Andrea Asperti | New version of deep_subsumption | blob | commitdiff | raw | diff to current |
2006-05-04 | Enrico Tassi | goal demodulated with new | blob | commitdiff | raw | diff to current |
2006-05-04 | Enrico Tassi | new pp function for proofs | blob | commitdiff | raw | diff to current |
2006-05-03 | Enrico Tassi | more transitivity on proofs | blob | commitdiff | raw | diff to current |
2006-04-26 | Andrea Asperti | Build_proof_goal does not return the metasenv any more. | blob | commitdiff | raw | diff to current |
2006-04-26 | Enrico Tassi | added a new type for proofs. | blob | commitdiff | raw | diff to current |