Tue, 16 Aug 2005 13:42:23 +0200 | wenzelm | updated; | file | diff | annotate |
Tue, 02 Dec 2003 11:48:15 +0100 | paulson | More re-organising of numerical theorems | file | diff | annotate |
Wed, 15 Jan 2003 16:43:12 +0100 | paulson | auto-update | file | diff | annotate |