src/HOL/Decision_Procs/ex/Approximation_Ex.thy
changeset 41648 6d736d983d5c
parent 32650 34bfa2492298
child 47600 e12289b5796b