]>
2008-06-24 | Enrico Tassi | notation factored, coercion commant taking terms and... | blob | commitdiff | raw |
2008-06-19 | Claudio Sacerdoti... | - notation fixed according to the new stricter semantics | 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-13 | Enrico Tassi | more notation | blob | commitdiff | raw | diff to current |
2008-06-11 | Enrico Tassi | gran casino | blob | commitdiff | raw | diff to current |
2008-06-09 | Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... | blob | commitdiff | raw | diff to current |
2008-06-09 | Enrico Tassi | exhaustivity completed | blob | commitdiff | raw | diff to current |
2008-06-05 | Enrico Tassi | sandwich is back | blob | commitdiff | raw | diff to current |
2008-06-03 | Enrico Tassi | some work on uniformity | blob | commitdiff | raw | diff to current |