src/HOL/ex/Groebner_Examples.thy
changeset 45231 d85a2fdc586c
parent 42463 f270e3e18be5
child 47108 2a1953f0d20d