]>
2008-06-24 | Enrico Tassi | removed <_,_> notation second interpretation for depend... | blob | commitdiff | raw |
2008-06-24 | Enrico Tassi | notation factored, coercion commant taking terms and... | blob | commitdiff | raw | diff to current |
2008-06-13 | Enrico Tassi | some notation added with a bit PITA | blob | commitdiff | raw | diff to current |
2008-06-12 | Enrico Tassi | better names in a lemma to increase readability | blob | commitdiff | raw | diff to current |
2008-06-12 | Enrico Tassi | fixed some regressions | blob | commitdiff | raw | diff to current |
2008-06-10 | Enrico Tassi | lebesgue proved | blob | commitdiff | raw | diff to current |
2008-06-10 | Enrico Tassi | snapshot | blob | commitdiff | raw | diff to current |
2008-06-09 | Enrico Tassi | initial work on lebesque | blob | commitdiff | raw | diff to current |