| Fri, 17 Aug 2007 09:20:45 +0200 | obua | tuned | file | diff | annotate |
| Fri, 20 Jul 2007 15:29:25 +0200 | obua | new functions cut_matrix', etc. | file | diff | annotate |
| Mon, 09 Jul 2007 17:39:55 +0200 | obua | adopted to new computing oracle and fixed bugs introduced by tuning | file | diff | annotate |
| Tue, 05 Jun 2007 19:19:30 +0200 | haftmann | tuned integers | file | diff | annotate |
| Mon, 14 May 2007 12:52:56 +0200 | haftmann | reorganized float arithmetic | file | diff | annotate |
| Sun, 13 May 2007 18:15:26 +0200 | haftmann | whitespace tuned | file | diff | annotate |
| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
| Fri, 20 Oct 2006 10:44:33 +0200 | haftmann | Symtab.foldl replaced by Symtab.fold | file | diff | annotate |
| Wed, 06 Sep 2006 13:48:02 +0200 | haftmann | got rid of Numeral.bin type | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Mon, 05 Sep 2005 17:38:18 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Tue, 19 Jul 2005 16:16:53 +0200 | obua | proving bounds for real linear programs | file | diff | annotate |
| Wed, 13 Jul 2005 09:53:50 +0200 | obua | - added cplex package to HOL/Matrix | file | diff | annotate |