src/HOL/Tools/Groebner_Basis/normalizer.ML
Tue, 03 Jul 2007 22:27:25 +0200 wenzelm tuned;
Mon, 25 Jun 2007 00:36:34 +0200 wenzelm made type conv pervasive;
Sun, 17 Jun 2007 13:39:32 +0200 chaieb normalizer conversions depend on the proof context; added functions for conversion and wrapper that sill depend on the variable ordering (_ord)
Mon, 11 Jun 2007 18:28:16 +0200 chaieb Conversion for computation on constants now depends on the context
Tue, 05 Jun 2007 18:36:09 +0200 wenzelm fixed type int vs. integer;
Tue, 05 Jun 2007 16:26:04 +0200 wenzelm Semiring normalization and Groebner Bases.
less more (0) tip