src/HOL/Transcendental.thy
changeset 82902 99a720d3ed8f
parent 82862 5a77044eaab2