2009-11-19 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-10-24 | Christian Urban | proved the two lemmas in QuotScript (reformulated them without leading forall) | file | diff | annotate |
2009-10-13 | Christian Urban | restored old version | file | diff | annotate |
2009-10-12 | Christian Urban | added quotient command (you need to update isar-keywords-prove.el) | file | diff | annotate |
2009-09-29 | Christian Urban | used new cong_tac | file | diff | annotate |
2009-09-28 | Christian Urban | added name to prove | file | diff | annotate |
2009-09-28 | Christian Urban | some tuning of my code | file | diff | annotate |
2009-08-24 | Christian Urban | added the prove command | file | diff | annotate |