Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Fri, 19 Oct 2007 23:21:08 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
Thu, 06 Sep 2007 11:48:51 +0200 | berghofe | New proof of standardization theorem (inspired by Ralph Matthes). | file | diff | annotate |