Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Tue, 12 Jun 2007 10:15:48 +0200 chaieb Changed normalizer Data to contain a simpset besides the list of instances; Before the method starts, it simplifies with this simpset; Added attribute 'algebra' to add and delete theorems from the simpset above; changeset | files
Tue, 12 Jun 2007 10:15:45 +0200 chaieb Added algebra_tac; tuned; changeset | files
Tue, 12 Jun 2007 10:15:40 +0200 chaieb Method now takes theorems to be added or deleted from a simpset for simplificatio before the core method starts changeset | files
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 changeset | files
Mon, 11 Jun 2007 18:34:12 +0200 nipkow nex example changeset | files
Mon, 11 Jun 2007 18:28:16 +0200 chaieb Conversion for computation on constants now depends on the context changeset | files
Mon, 11 Jun 2007 18:28:15 +0200 chaieb tuned setup for the fields instantiation for Groebner Bases; changeset | files
Mon, 11 Jun 2007 18:26:44 +0200 chaieb Added dependency on file Groebner_Basis.thy changeset | files
(0) -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle