Thu, 09 Jul 2009 22:01:41 +0200 |
wenzelm |
renamed functor TableFun to Table, and GraphFun to Graph;
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 16:08:00 +0200 |
wenzelm |
simplified type int (eliminated IntInf.int, integer);
|
file |
diff |
annotate
|
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
|