]>
2010-07-06 | Enrico Tassi | some notation for map_arrows2 | blob | commitdiff | raw |
2010-07-04 | Claudio Sacerdoti... | Some important proofs/definitions were (and are still... | blob | commitdiff | raw | diff to current |
2010-06-29 | Enrico Tassi | notation made half decent | blob | commitdiff | raw | diff to current |
2009-01-15 | Enrico Tassi | the new coercion behaviour (variants + composition... | blob | commitdiff | raw | diff to current |
2009-01-06 | Claudio Sacerdoti... | 1) Some reorganization. | blob | commitdiff | raw | diff to current |
2009-01-06 | Claudio Sacerdoti... | Fixing universe levels for saturations and (partially... | blob | commitdiff | raw | diff to current |