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

tuned order of arguments
# 8c79dff6 22-Mar-2018 nipkow <none@none>

make baliL and baliR symmetric
# 02fbd8bb 28-Jan-2017 nipkow <none@none>

split balance into two, clearer etc
# 05211681 27-Jan-2017 nipkow <none@none>

removed unclear clause; slower but clearer
# a82524e6 27-Nov-2015 nipkow <none@none>

paint root black after insert and delete
# 1964277f 14-Nov-2015 nipkow <none@none>

tuned white space
# d79f30eb 02-Nov-2015 nipkow <none@none>

tuned names and optimized comparison order
# c86bee3b 18-Oct-2015 nipkow <none@none>

added 2-3 trees (simpler and more complete than the version in ex/Tree23)
# 72b4772b 23-Sep-2015 nipkow <none@none>

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

added red black trees

--HG--
extra : rebase_source : 28e43c87d5eb14090fa401987d8131c2067f6ab7