| Wed, 15 Feb 2012 20:16:50 +0100 | wenzelm | removed redundant cut_inst_tac -- already covered in implementation manual; | file | diff | annotate |
| Thu, 09 Feb 2012 19:34:23 +0100 | wenzelm | basic setup for equational reasoning; | file | diff | annotate |
| Sun, 29 Jan 2012 22:12:25 +0100 | wenzelm | updated hint about asm_rl; | file | diff | annotate |
| Sun, 29 Jan 2012 22:00:10 +0100 | wenzelm | updated thin_tac; | file | diff | annotate |
| Sun, 29 Jan 2012 21:40:29 +0100 | wenzelm | updated distinct_subgoals_tac, flexflex_tac; | file | diff | annotate |
| Sun, 29 Jan 2012 21:26:09 +0100 | wenzelm | removed obscure material; | file | diff | annotate |