| 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 |
| Sat, 11 Jun 2011 15:03:31 +0200 | wenzelm | tuned sections; | file | diff | annotate |
| Thu, 09 Jun 2011 22:25:25 +0200 | wenzelm | document depth arguments of method "auto"; | file | diff | annotate |