| Fri, 04 Mar 2011 00:09:47 +0100 | wenzelm | eliminated prems; | file | diff | annotate |
| Sun, 10 Jan 2010 18:43:45 +0100 | berghofe | Adapted to changes in induct method. | file | diff | annotate |
| Thu, 01 Jan 2009 22:37:34 +0100 | wenzelm | avoid implicit use of prems; | file | diff | annotate |