Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
Fri, 23 Jul 2010 10:25:00 +0200 |
haftmann |
proper subclass instead of sublocale
|
file |
diff |
annotate
|
Wed, 12 May 2010 15:27:15 +0200 |
haftmann |
tuned proofs and fact and class names
|
file |
diff |
annotate
|
Wed, 12 May 2010 13:51:22 +0200 |
haftmann |
tuned fact collection names and some proofs
|
file |
diff |
annotate
|
Wed, 12 May 2010 12:31:52 +0200 |
haftmann |
grouped local statements
|
file |
diff |
annotate
|
Tue, 11 May 2010 19:21:39 +0200 |
hoelzl |
Add rules directly to the corresponding class locales instead.
|
file |
diff |
annotate
|
Sat, 08 May 2010 18:52:38 +0200 |
haftmann |
moved normalization proof tool infrastructure to canonical algebraic classes
|
file |
diff |
annotate
|
Fri, 07 May 2010 16:12:26 +0200 |
haftmann |
renamed Normalizer to the more specific Semiring_Normalizer
|
file |
diff |
annotate
|
Fri, 07 May 2010 15:05:52 +0200 |
haftmann |
split of semiring normalization from Groebner theory; moved field_comp_conv to Numeral_Simproces
|
file |
diff |
annotate
| base
|