src/HOL/Transcendental.thy
changeset 37781 2fbbf0a48cef
parent 36974 b877866b5b00
child 37887 2ae085b07f2f
equal deleted inserted replaced
37780:7e91b3f98c46 37781:2fbbf0a48cef