Wed, 05 Dec 2007 14:16:05 +0100 |
haftmann |
map_product and fold_product
|
file |
diff |
annotate
|
Wed, 31 Oct 2007 12:19:37 +0100 |
chaieb |
(1) signatures updated according to normalizer_data.ML (added field ideal in entry);
|
file |
diff |
annotate
|
Mon, 08 Oct 2007 20:20:13 +0200 |
chaieb |
fixed bug in grobner_ideal
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 16:08:00 +0200 |
wenzelm |
simplified type int (eliminated IntInf.int, integer);
|
file |
diff |
annotate
|
Thu, 05 Jul 2007 00:06:17 +0200 |
wenzelm |
avoid polymorphic equality;
|
file |
diff |
annotate
|
Tue, 03 Jul 2007 22:27:16 +0200 |
wenzelm |
HOLogic.conj_intr/elims;
|
file |
diff |
annotate
|
Thu, 28 Jun 2007 19:09:36 +0200 |
haftmann |
dropped Library.lcm
|
file |
diff |
annotate
|
Mon, 25 Jun 2007 00:36:36 +0200 |
wenzelm |
made type conv pervasive;
|
file |
diff |
annotate
|
Tue, 12 Jun 2007 10:15:45 +0200 |
chaieb |
Added algebra_tac; tuned;
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 18:28:16 +0200 |
chaieb |
Conversion for computation on constants now depends on the context
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 18:36:09 +0200 |
wenzelm |
fixed type int vs. integer;
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 16:26:04 +0200 |
wenzelm |
Semiring normalization and Groebner Bases.
|
file |
diff |
annotate
|