src/HOL/Transcendental.thy
changeset 31488 5691ccb8d6b5
parent 31338 d41a8ba25b67
child 31790 05c92381363c