src/HOL/Library/Tree_Real.thy
20 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-08-26 nipkow 2017-08-26 reorganized and added log-related lemmas
2017-08-25 nipkow 2017-08-25 reorganization of tree lemmas; new lemmas