]>
2010-09-12 | Enrico Tassi | non uniform coercions landed in hints_declaration.ma... | blob | commitdiff | raw |
2010-09-09 | Enrico Tassi | Some refactoring in set*.ma, some new notations and... | blob | commitdiff | raw | diff to current |
2010-09-09 | Enrico Tassi | th 16.2 proved in the setoids setting | blob | commitdiff | raw | diff to current |
2010-09-08 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2010-09-08 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2010-09-08 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2010-07-22 | Enrico Tassi | some work on \exists | blob | commitdiff | raw | diff to current |
2010-07-21 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2010-07-21 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2010-07-21 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2010-07-21 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |