]>
2006-05-28 | Enrico Tassi | added the rule field to goal_proof. | blob | commitdiff | raw |
2006-05-22 | Enrico Tassi | - code cleanup, especialli in Indexing where all the... | blob | commitdiff | raw | diff to current |
2006-05-18 | Enrico Tassi | existential variables in goal supported | blob | commitdiff | raw | diff to current |
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-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 |