]>
2005-11-18 | Claudio Sacerdoti... | Incredible bug fixed: coercions were computed and then... | tree | commitdiff |
2005-11-16 | Ferruccio Guidi | predicative subsets started | tree | commitdiff |
2005-11-16 | Claudio Sacerdoti... | New framework for regression of bad tests. | tree | commitdiff |
2005-11-16 | Ferruccio Guidi | universal quantifier added | tree | commitdiff |
2005-11-16 | Claudio Sacerdoti... | The .depend must not be committed! Fixed. | tree | commitdiff |
2005-11-15 | Claudio Sacerdoti... | ... | tree | commitdiff |
2005-10-29 | Ferruccio Guidi | Aczel categories finished | tree | commitdiff |
2005-10-25 | Enrico Tassi | fixed -debug | tree | commitdiff |
2005-10-18 | Ferruccio Guidi | definition of eq improved (?) parametrizing an argument | tree | commitdiff |
2005-10-13 | Ferruccio Guidi | more comments added | tree | commitdiff |
2005-10-12 | Ferruccio Guidi | tlt_defs: notation updated | tree | commitdiff |