Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
Fri, 20 Oct 2006 10:44:33 +0200 | haftmann | Symtab.foldl replaced by Symtab.fold | file | diff | annotate |
Tue, 20 Sep 2005 16:17:34 +0200 | haftmann | introduced AList module in favor of assoc etc. | file | diff | annotate |
Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
Mon, 01 Aug 2005 11:39:33 +0200 | obua | 1. changed configuration variables for linear programming (Cplex_tools): | 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 |