]>
2008-10-21 | Enrico Tassi | ... | blob | commitdiff | raw |
2008-10-20 | Enrico Tassi | ... is a command in proof mode, use | blob | commitdiff | raw | diff to current |
2008-10-18 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-10-18 | Enrico Tassi | tactic language documented; | blob | commitdiff | raw | diff to current |
2008-10-18 | Enrico Tassi | html documentation generation implemented | blob | commitdiff | raw | diff to current |
2008-10-17 | Enrico Tassi | better makefile | blob | commitdiff | raw | diff to current |
2008-10-17 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2008-10-16 | Enrico Tassi | ex for students about induction | blob | commitdiff | raw | diff to current |