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