]>
2008-10-29 | Andrea Asperti | Enforcing the disjoint invariant between metasenvs. | blob | commitdiff | raw |
2006-11-27 | Andrea Asperti | Commented an assertion. | blob | commitdiff | raw | diff to current |
2006-09-29 | Enrico Tassi | renamed inference in founif that is more appropriate | blob | commitdiff | raw | diff to current |