History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/List_Ins_Del.thy
Revision Date Author Comments
# 0a3fa2e8 23-Mar-2018 nipkow <none@none>

eliminated "elems"
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# 92d5e4db 13-Dec-2017 nipkow <none@none>

added lemmas
# c7fc4ed4 16-Aug-2017 nipkow <none@none>

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

moved lemmas
# 263870f4 17-Nov-2015 nipkow <none@none>

removed lemmas that were only needed for old version of isin.
# 3b8ab7a8 11-Nov-2015 nipkow <none@none>

tuned
# f42b3257 11-Nov-2015 nipkow <none@none>

no CRLF
# ea727e48 11-Nov-2015 nipkow <none@none>

uniform proof of lemmas
# 08e26f53 06-Nov-2015 nipkow <none@none>

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

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

tuned
# c4d4aaf9 22-Sep-2015 nipkow <none@none>

unified isin-proofs
# 042abe0c 21-Sep-2015 nipkow <none@none>

New subdirectory for functional data structures