src/HOL/Decision_Procs/approximation.ML
changeset 60299 5ae2a2e74c93
parent 59970 e9f73d87d904
child 60642 48dd1cefb4ae