]>
2012-03-08 | Andrea Asperti | Axiom proved | blob | commitdiff | raw |
2012-01-03 | Andrea Asperti | modified definition of memb | blob | commitdiff | raw | diff to current |
2011-12-15 | Andrea Asperti | Splitted DeqSets in their own file. Notation for memb... | blob | commitdiff | raw | diff to current |
2011-12-13 | Claudio Sacerdoti... | 1) New file russell with the coercions to activate... | blob | commitdiff | raw | diff to current |
2011-12-12 | Claudio Sacerdoti... | Some integrations from CerCo. In particular: | blob | commitdiff | raw | diff to current |
2011-12-06 | Andrea Asperti | Listb contains some boolean functions over lists. | blob | commitdiff | raw | diff to current |