| Sat, 23 Aug 2008 21:06:32 +0200 | nipkow | added const Rational | file | diff | annotate |
| Thu, 21 Jun 2007 15:42:07 +0200 | wenzelm | replaced Real/Ferrante-Rackoff tool by generic version in Main HOL; | file | diff | annotate |
| Tue, 12 Sep 2006 07:49:07 +0200 | huffman | import RealVector | file | diff | annotate |
| Tue, 16 May 2006 13:01:22 +0200 | wenzelm | added Ferrante and Rackoff Algorithm -- by Amine Chaieb; | file | diff | annotate |
| Sun, 12 Feb 2006 12:29:01 +0100 | kleing | * include generalised MVT in HyperReal (contributed by Benjamin Porter) | file | diff | annotate |
| Fri, 18 Feb 2005 11:48:53 +0100 | nipkow | starting to get rid of sumr | file | diff | annotate |
| Tue, 03 Feb 2004 15:58:31 +0100 | paulson | further tidying of the complex numbers | file | diff | annotate |