src/HOL/Transcendental.thy
changeset 82900 bd3685e5f883
parent 82862 5a77044eaab2