src/HOL/Decision_Procs/Polynomial_List.thy
changeset 36409 d323e7773aa8
parent 36350 bc7982c54e37
child 37598 893dcabf0c04