| Thu, 21 Jun 2007 22:10:16 +0200 | wenzelm | tuned proofs -- avoid implicit prems; | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:15 +0200 | wenzelm | fixed typo in method invocation; | file | diff | annotate |
| Wed, 17 Aug 2005 11:44:02 +0200 | nipkow | small mods to code lemmas | file | diff | annotate |