| Mon, 10 Apr 2006 16:00:34 +0200 | obua | Moved stuff from Ring_and_Field to Matrix | 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 |
| Wed, 13 Jul 2005 09:53:50 +0200 | obua | - added cplex package to HOL/Matrix | file | diff | annotate |