| Mon, 06 Jun 2011 18:05:38 +0200 | wenzelm | modernized and re-unified Thm.transfer; | file | diff | annotate |
| Mon, 06 Jun 2011 17:51:14 +0200 | wenzelm | removed obsolete material (superseded by implementation manual); | file | diff | annotate |
| Fri, 20 May 2011 14:03:42 +0200 | wenzelm | removed some obsolete text; | file | diff | annotate |