src/HOL/Library/Tree_Real.thy
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
9 months ago nipkow 2018-10-04 simplified proofs
10 months ago nipkow 2018-09-16 more traditional formulation
13 months ago wenzelm 2018-06-22 clarified document antiquotation @{theory};
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
23 months ago nipkow 2017-08-26 reorganized and added log-related lemmas
23 months ago nipkow 2017-08-25 reorganization of tree lemmas; new lemmas