| 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 |
| Tue, 13 Sep 2011 07:13:49 +0200 | nipkow | fastsimp -> fastforce in doc | file | diff | annotate |
| Tue, 09 Aug 2011 15:41:00 +0200 | wenzelm | updated documentation of method "split" according to e6a4bb832b46; | file | diff | annotate |
| Sat, 11 Jun 2011 16:05:17 +0200 | wenzelm | cover method "deepen" concisely; | file | diff | annotate |
| Sat, 11 Jun 2011 15:36:46 +0200 | wenzelm | moved/updated single-step tactics; | file | diff | annotate |