]>
2023-02-04 | Claudio Sacerdoti... | mod change (-x) | blob | commitdiff | raw |
2008-12-18 | Claudio Sacerdoti... | Many axioms are now proved... using many more (but... | blob | commitdiff | raw |
2008-11-06 | Claudio Sacerdoti... | First attempts at the third phase. | blob | commitdiff | raw | diff to current |
2008-11-04 | Enrico Tassi | eliminazione di un passaggio di transitività in ast2astfe | blob | commitdiff | raw | diff to current |
2008-10-31 | Claudio Sacerdoti... | Environment simplified. | blob | commitdiff | raw | diff to current |
2008-10-31 | Claudio Sacerdoti... | - New dependency for environments on the nesting depth. | blob | commitdiff | raw | diff to current |
2008-10-01 | Claudio Sacerdoti... | - setters for data structures now support "commuting... | blob | commitdiff | raw | diff to current |
2008-07-25 | Claudio Sacerdoti... | AST to ASTFE completed up to a few computational (... | blob | commitdiff | raw | diff to current |
2008-07-23 | Claudio Sacerdoti... | Update. | blob | commitdiff | raw | diff to current |