History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Tree234.thy
Revision Date Author Comments
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# 2c45a20b 19-Nov-2015 nipkow <none@none>

tuned and converted to cmp
# f42b3257 11-Nov-2015 nipkow <none@none>

no CRLF
# b5b9dd66 25-Oct-2015 nipkow <none@none>

added 234-trees (slow)