Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. Tuned reduction
Changeset 9052:6d16e767d4da by alexander maletzky _alexander.maletzky@risc.jku.at_:
merge
Changeset 9051:c0df6f86319a by alexander maletzky _alexander.maletzky@risc.jku.at_:
Tuned reduction
The file was modified thys/Groebner_Bases/Buchberger_Examples.thy (diff)
The file was modified thys/Groebner_Bases/Reduction.thy (diff)