]>
2008-11-19 | Enrico Tassi | renaming | blob | commitdiff | raw |
2008-10-29 | Enrico Tassi | models ported | blob | commitdiff | raw | diff to current |
2008-07-07 | Enrico Tassi | simplified coercDb implementation with additional info... | 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-19 | Claudio Sacerdoti... | - notation fixed according to the new stricter semantics | blob | commitdiff | raw | diff to current |
2008-06-17 | Enrico Tassi | general reorganization and first (unconditional) proof... | blob | commitdiff | raw | diff to current |