2011-04-23 | wenzelm | modernized specifications; | file | diff | annotate |
2010-05-07 | haftmann | renamed Normalizer to the more specific Semiring_Normalizer | file | diff | annotate |
2010-05-06 | haftmann | xsymbolized | file | diff | annotate |
2010-05-06 | haftmann | dropped duplicate comp_arith | file | diff | annotate |
2010-05-06 | haftmann | dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML | file | diff | annotate |
2010-04-23 | wenzelm | mark schematic statements explicitly; | file | diff | annotate |
2009-04-29 | haftmann | farewell to class recpower | file | diff | annotate |
2008-03-18 | wenzelm | tuned proof; | file | diff | annotate |
2007-10-31 | chaieb | Added example for the ideal membership problem solved by algebra | file | diff | annotate |
2007-07-04 | wenzelm | tuned; | file | diff | annotate |
2007-06-12 | chaieb | Tuned proofs : now use 'algebra ad: ...' | file | diff | annotate |
2007-06-11 | nipkow | nex example | file | diff | annotate |
2007-06-05 | wenzelm | Groebner Basis Examples. | file | diff | annotate |