Added binary set operations with join-based implementation
Repaired LaTeX in HOL-Data_Structures --HG-- rename : src/HOL/Number_Theory/QuadraticReciprocity.thy => src/HOL/Number_Theory/Quadratic_Reciprocity.thy
added Leftist_Heap
added invariant proofs to AA trees
tuned
added 1-2 brother trees
converted to cmp
added splay trees
tuned text
added red black trees --HG-- extra : rebase_source : 28e43c87d5eb14090fa401987d8131c2067f6ab7
New subdirectory for functional data structures