src/HOL/Groebner_Basis.thy
changeset 26420 57a626f64875
parent 26314 9c39fc898fff
child 26462 dac4e2bce00d