src/HOL/Algebra/UnivPoly.thy
changeset 70367 81b65ddac59f
parent 69597 ff784d5a5bfb
child 75963 884dbbc8e1b3
equal deleted inserted replaced
70366:89830f937e68 70367:81b65ddac59f