src/HOL/Transcendental.thy
changeset 33963 977b94b64905
parent 33667 958dc9f03611
child 34974 18b41bba42b5