]>
2012-01-03 | Andrea Asperti | more properties of union | blob | commitdiff | raw |
2011-12-09 | Andrea Asperti | list.ma moved inside lists. | blob | commitdiff | raw | diff to current |
2011-12-06 | Andrea Asperti | naive sets (A-> Prop) | blob | commitdiff | raw | diff to current |