| Tue, 19 Jul 2005 17:28:27 +0200 | wenzelm | with_path; | 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 |
| Mon, 20 Jun 2005 22:14:01 +0200 | wenzelm | proper header; | file | diff | annotate |
| Mon, 07 Mar 2005 18:19:55 +0100 | obua | Cleaning up HOL/Matrix | file | diff | annotate |
| Fri, 03 Sep 2004 17:10:36 +0200 | obua | Matrix theory, linear programming | file | diff | annotate |
| Fri, 23 Apr 2004 20:49:26 +0200 | wenzelm | proper document setup; | file | diff | annotate |
| Sat, 17 Apr 2004 00:46:22 +0200 | kleing | added HOL-Matrix, added HOL/Matrix/ROOT.ML | file | diff | annotate |