src/HOL/Library/Tree_Real.thy
12 months ago wenzelm 2018-06-22 clarified document antiquotation @{theory};
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
22 months ago nipkow 2017-08-26 reorganized and added log-related lemmas
22 months ago nipkow 2017-08-25 reorganization of tree lemmas; new lemmas