]>
2008-10-14 | Enrico Tassi | firs step for dualization | blob | commitdiff | raw |
2008-08-26 | Enrico Tassi | fixed some stuff | blob | commitdiff | raw | diff to current |
2008-07-15 | Enrico Tassi | more notation moved to core notation, unification of... | blob | commitdiff | raw | diff to current |
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-09 | Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... | blob | commitdiff | raw | diff to current |
2008-05-30 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-05-29 | Enrico Tassi | first page of the new dama proof | blob | commitdiff | raw | diff to current |