]>
2007-05-24 | Enrico Tassi | auto and autogui... some work | blob | commitdiff | raw |
2006-12-18 | Andrea Asperti | M logic/coimplication.ma | blob | commitdiff | raw | diff to current |
2006-11-29 | Ferruccio Guidi | - new library/logic/coimplication.ma uses new decompose... | blob | commitdiff | raw | diff to current |