Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Groebner_Basis.thy
Thu, 21 Jun 2007 15:42:12 +0200
wenzelm
tuned comments;
file
|
diff
|
annotate
Thu, 14 Jun 2007 18:33:31 +0200
wenzelm
tuned proofs: avoid implicit prems;
file
|
diff
|
annotate
Tue, 12 Jun 2007 10:15:32 +0200
chaieb
algebra_tac moved to file Tools/Groebner_Basis/groebner.ML; Method now takes theorems to be added or deleted from a simpset for simplificatio *before* the core method starts
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
Mon, 11 Jun 2007 16:23:17 +0200
chaieb
Added instantiation of algebra method to fields
file
|
diff
|
annotate
Mon, 11 Jun 2007 11:05:57 +0200
chaieb
explicitely depends on file groebner.ML
file
|
diff
|
annotate
Tue, 05 Jun 2007 22:46:53 +0200
wenzelm
tuned document;
file
|
diff
|
annotate
Tue, 05 Jun 2007 18:36:07 +0200
wenzelm
renamed locale ring/semiring to gb_ring/gb_semiring to avoid clash with Ring_and_Field versions;
file
|
diff
|
annotate
Tue, 05 Jun 2007 16:26:04 +0200
wenzelm
Semiring normalization and Groebner Bases.
file
|
diff
|
annotate
less
more
(0)
tip