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 |