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

isabelle update_cartouches -c;
# c7fc4ed4 16-Aug-2017 nipkow <none@none>

more reorganization around sorted_wrt
# cf4a449e 18-Nov-2015 nipkow <none@none>

moved lemmas
# 655a0b9b 17-Nov-2015 nipkow <none@none>

derive lemmas uniformly
# 0468d2ec 16-Nov-2015 nipkow <none@none>

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

no CRLF
# d79f30eb 02-Nov-2015 nipkow <none@none>

tuned names and optimized comparison order
# 72b4772b 23-Sep-2015 nipkow <none@none>

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

added red black trees

--HG--
extra : rebase_source : 28e43c87d5eb14090fa401987d8131c2067f6ab7
# 042abe0c 21-Sep-2015 nipkow <none@none>

New subdirectory for functional data structures