src/HOL/Groebner_Basis.thy
changeset 45231 d85a2fdc586c
parent 36752 cf558aeb35b0
child 45294 3c5d3d286055