| 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 |
| 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 |