]>
2008-09-19 | Enrico Tassi | new reorganization | blob | commitdiff | raw |
2008-07-15 | Enrico Tassi | more notation moved to core notation, unification of... | blob | commitdiff | raw | diff to current |
2008-07-15 | Enrico Tassi | new q_function representation | blob | commitdiff | raw | diff to current |
2008-07-02 | Enrico Tassi | some work | blob | commitdiff | raw | diff to current |
2008-07-01 | Enrico Tassi | shifting done, merge attacked | blob | commitdiff | raw | diff to current |
2008-06-30 | Enrico Tassi | new specification | blob | commitdiff | raw | diff to current |
2008-06-26 | Enrico Tassi | more work | blob | commitdiff | raw | diff to current |
2008-06-23 | Enrico Tassi | more work, but russell too slow | blob | commitdiff | raw | diff to current |
2008-06-18 | Enrico Tassi | some work on Q | blob | commitdiff | raw | diff to current |
2008-06-17 | Enrico Tassi | general reorganization and first (unconditional) proof... | blob | commitdiff | raw | diff to current |