History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Tree23.thy
Revision Date Author Comments
# d8db3950 01-Aug-2017 nipkow <none@none>

new lemma
# 5926cf3c 15-Nov-2015 nipkow <none@none>

added pretty syntax
# f42b3257 11-Nov-2015 nipkow <none@none>

no CRLF
# c86bee3b 18-Oct-2015 nipkow <none@none>

added 2-3 trees (simpler and more complete than the version in ex/Tree23)