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 |