]>
2012-05-28 | Andrea Asperti | graph of a function | blob | commitdiff | raw |
2012-05-28 | Andrea Asperti | FinOpt | blob | commitdiff | raw | diff to current |
2012-05-25 | Andrea Asperti | New definition of finset. | blob | commitdiff | raw | diff to current |
2012-05-16 | Claudio Sacerdoti... | Removed duplicated notation and interaction with the... | blob | commitdiff | raw | diff to current |
2012-05-04 | Wilmer Ricciotti | Added a turing/universal directory for the universal... | blob | commitdiff | raw | diff to current |
2012-05-03 | Andrea Asperti | prod fin set | blob | commitdiff | raw | diff to current |
2012-05-03 | Andrea Asperti | bool and segments of natural numbers | blob | commitdiff | raw | diff to current |
2012-04-27 | Andrea Asperti | Extensions to finset (sum) and auxiliary lemmas. | blob | commitdiff | raw | diff to current |
2012-04-04 | Andrea Asperti | Added in basics | blob | commitdiff | raw | diff to current |