Wed, 02 Sep 2009 16:25:44 +0200 | wenzelm | reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools; | file | diff | annotate |
Sat, 27 Jun 2009 09:43:41 +0200 | nipkow | replaced recdefs by funs | file | diff | annotate |
Thu, 05 Feb 2009 11:45:15 +0100 | hoelzl | Added new Float theory and moved old Library/Float.thy to ComputeFloat | file | diff | annotate |
Wed, 28 Jan 2009 16:29:16 +0100 | nipkow | Replaced group_ and ring_simps by algebra_simps; | file | diff | annotate |
Fri, 17 Oct 2008 10:39:39 +0200 | wenzelm | reactivated HOL-Matrix; | file | diff | annotate |
Fri, 04 Jul 2008 07:39:01 +0200 | haftmann | added marginal setup for code generation | 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, 19 Jul 2005 17:28:37 +0200 | wenzelm | isatool fixheaders; | file | diff | annotate |
Wed, 13 Jul 2005 09:53:50 +0200 | obua | - added cplex package to HOL/Matrix | file | diff | annotate |