History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/document/root.tex
Revision Date Author Comments
# 2424b37b 07-Apr-2018 nipkow <none@none>

Added binary set operations with join-based implementation
# 26dd5ac9 20-Oct-2016 eberlm <eberlm@in.tum.de>

Repaired LaTeX in HOL-Data_Structures

--HG--
rename : src/HOL/Number_Theory/QuadraticReciprocity.thy => src/HOL/Number_Theory/Quadratic_Reciprocity.thy
# 2c44aa19 24-Mar-2016 nipkow <none@none>

added Leftist_Heap
# 5032466a 02-Mar-2016 nipkow <none@none>

added invariant proofs to AA trees
# 987c56de 05-Dec-2015 nipkow <none@none>

tuned
# 99773bc2 04-Dec-2015 nipkow <none@none>

added 1-2 brother trees
# d5b2248c 18-Nov-2015 nipkow <none@none>

converted to cmp
# 6a57c614 30-Oct-2015 nipkow <none@none>

added splay trees
# a491792d 19-Oct-2015 nipkow <none@none>

tuned text
# 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