src/HOL/Groebner_Basis.thy
changeset 30313 b2441b0c8d38
parent 30242 aea5d7fa7ef5
child 30510 4120fc59dd85