]>
2009-07-10 | Claudio Sacerdoti... | Composite coercions are here! | blob | commitdiff | raw |
2009-07-10 | Claudio Sacerdoti... | Coercions used here and there. | blob | commitdiff | raw | diff to current |
2009-07-09 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | eq moved to CProp | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | Hmmmm. This way we need "canonical structures" also... | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2009-07-08 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |