| Mon, 27 Feb 2012 15:39:47 +0100 | wenzelm | updated cut_tac, without loose references to implementation manual; | file | diff | annotate |
| Wed, 15 Feb 2012 21:29:23 +0100 | wenzelm | clarified outer syntax "constdecl", which is only local to some rail diagrams; | file | diff | annotate |
| Sun, 29 Jan 2012 22:00:10 +0100 | wenzelm | updated thin_tac; | file | diff | annotate |
| Sun, 29 Jan 2012 21:04:39 +0100 | wenzelm | updated rotate_tac; | file | diff | annotate |
| Fri, 27 Jan 2012 21:29:37 +0100 | wenzelm | updated subgoal_tac; | file | diff | annotate |
| Wed, 25 Jan 2012 21:14:00 +0100 | wenzelm | tuned ML infixes; | file | diff | annotate |
| Sun, 27 Nov 2011 12:52:52 +0100 | wenzelm | modernized section about congruence rules; | file | diff | annotate |