src/HOL/ex/Groebner_Examples.thy
changeset 50999 3de230ed0547
parent 47108 2a1953f0d20d
child 53015 a1119cf551e8