src/HOL/Groebner_Basis.thy
changeset 35928 d31f55f97663
parent 35410 1ea89d2a1bd4
child 36305 dbe99291eb3c