History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Tree2.thy
Revision Date Author Comments
# 5fde6c5f 11-Jun-2018 nipkow <none@none>

tuned order of arguments
# 24582484 11-Jun-2018 nipkow <none@none>

added lemma
# 99ffcf66 07-Apr-2018 nipkow <none@none>

moved and renamed lemmas
# db7f774b 18-Mar-2016 nipkow <none@none>

added tree lemmas
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 30b4a859 13-Jan-2016 nipkow <none@none>

tuned layout
# 6fc2a136 22-Sep-2015 nipkow <none@none>

added red black trees

--HG--
extra : rebase_source : 28e43c87d5eb14090fa401987d8131c2067f6ab7