src/HOL/Data_Structures/Tree_Set.thy
15 months ago nipkow 2018-04-21 del_min -> split_min
15 months ago nipkow 2018-04-08 more name tuning
15 months ago nipkow 2018-04-08 better name; added binary operations
16 months ago nipkow 2018-03-23 eliminated "elems"
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-07-07 nipkow 2016-07-07 got rid of class cmp; added height-size proofs by Daniel Stuewe
2015-11-15 nipkow 2015-11-15 tuned white space
2015-11-13 nipkow 2015-11-13 unnecessary precondition
2015-11-13 nipkow 2015-11-13 tuned
2015-11-11 nipkow 2015-11-11 no CRLF
2015-11-05 nipkow 2015-11-05 tuned
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-11-02 nipkow 2015-11-02 tuned names and optimized comparison order
2015-10-13 nipkow 2015-10-13 added invar empty
2015-09-23 nipkow 2015-09-23 tuned
2015-09-22 nipkow 2015-09-22 unified isin-proofs
2015-09-21 nipkow 2015-09-21 New subdirectory for functional data structures