]>
2009-04-29 | Ferruccio Guidi | - procedural: bugfix in "Barendregt convention" test | blob | commitdiff | raw |
2009-04-28 | Ferruccio Guidi | cicNotationUtil: in fresh_name_generator, "\eta" replac... | blob | commitdiff | raw | diff to current |
2009-02-15 | Enrico Tassi | minor changes to make the library compile after wilmers... | blob | commitdiff | raw | diff to current |
2009-02-13 | Wilmer Ricciotti | Axiomatization of real numbers (work in progress) | blob | commitdiff | raw | diff to current |
2008-12-18 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-08-23 | Claudio Sacerdoti... | Some notation moved to core_notation. | blob | commitdiff | raw | diff to current |
2008-07-23 | Enrico Tassi | remove bad aliases from toolbox | blob | commitdiff | raw | diff to current |
2008-07-22 | Claudio Sacerdoti... | Dependencies removed. | 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 |