src/HOL/ex/Groebner_Examples.thy
changeset 30313 b2441b0c8d38
parent 26317 01a98fd72eae
child 31021 53642251a04f