| Sat, 17 Sep 2005 20:16:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 17 Sep 2005 18:24:57 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 28 Jul 2005 15:19:45 +0200 | wenzelm | updated; | file | diff | annotate |
| Wed, 01 Jun 2005 09:46:06 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 31 May 2005 11:53:10 +0200 | wenzelm | improved naming of complex theorems in presentation; | file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 | paulson | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
| Tue, 26 Apr 2005 16:31:43 +0200 | webertj | HTML standard conformity: done | file | diff | annotate |
| Mon, 25 Apr 2005 18:29:40 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 15 Apr 2005 17:03:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 12 Apr 2005 13:38:08 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 07 Apr 2005 10:22:55 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 05 Apr 2005 08:03:52 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 19 Jan 2005 16:45:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 17 Jan 2005 17:45:03 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 20 Dec 2004 18:25:22 +0100 | nipkow | *** empty log message *** | file | diff | annotate |