2009-10-12 | Christian Urban | tuned | file | diff | annotate |
2009-10-12 | Christian Urban | slightly modified the parser | file | diff | annotate |
2009-10-12 | Christian Urban | deleted diagnostic code | file | diff | annotate |
2009-10-12 | Christian Urban | added quotient command (you need to update isar-keywords-prove.el) | file | diff | annotate |
2009-10-12 | Christian Urban | started some strange functions | file | diff | annotate |
2009-10-08 | Christian Urban | exported parts of QuotMain into a separate ML-file | file | diff | annotate |