src/HOL/Decision_Procs/Approximation.thy
changeset 36409 d323e7773aa8
parent 35845 e5980f0ad025
child 36526 353041483b9b