| Thu, 12 May 2011 21:14:03 +0200 | wenzelm | modernized simproc_setup; | file | diff | annotate |
| Mon, 06 Sep 2010 19:13:10 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
| Thu, 23 Apr 2009 12:17:51 +0200 | haftmann | adaptions due to rearrangment of power operation | file | diff | annotate |
| Sat, 14 Jun 2008 23:20:06 +0200 | wenzelm | tuned proof; | file | diff | annotate |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |