]>
2008-11-17 | Enrico Tassi | ... | blob | commitdiff | raw |
2008-11-17 | Enrico Tassi | exercises ready | blob | commitdiff | raw | diff to current |
2008-11-17 | Enrico Tassi | all ex done | blob | commitdiff | raw | diff to current |
2008-11-16 | Enrico Tassi | commented out unfinished proof | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | apply rule (lem EM) works | blob | commitdiff | raw | diff to current |
2008-11-15 | Claudio Sacerdoti... | New bug. | blob | commitdiff | raw | diff to current |
2008-11-15 | Claudio Sacerdoti... | Another bug. | blob | commitdiff | raw | diff to current |
2008-11-15 | Claudio Sacerdoti... | This commit shows a bug. | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | almost ready | blob | commitdiff | raw | diff to current |