]>
2008-12-01 | Enrico Tassi | more ex and more notation | blob | commitdiff | raw |
2008-11-30 | Enrico Tassi | natural deduction support for lemmas with premises | blob | commitdiff | raw | diff to current |
2008-11-17 | Enrico Tassi | exercises ready | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | better spacing | 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 | Enrico Tassi | fixed or-in-left | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | fixed not-e | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | almost ready | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | rules fixed | blob | commitdiff | raw | diff to current |
2008-11-15 | Enrico Tassi | house keeping | blob | commitdiff | raw | diff to current |