| #
97bce028 |
|
13-Jun-2018 |
nipkow <none@none> |
qualify interpretations to avoid clashes
|
| #
83ad70a0 |
|
12-Jun-2018 |
nipkow <none@none> |
more abstract naming
|
| #
d6194b67 |
|
08-May-2018 |
nipkow <none@none> |
new def of sorted and sorted_wrt
--HG--
extra : amend_source : 063fe8412a72415725783d8336fe89d3cd0ca676
|
| #
93bea17d |
|
21-Apr-2018 |
nipkow <none@none> |
del_min -> split_min
|
| #
116c2e29 |
|
08-Apr-2018 |
nipkow <none@none> |
more name tuning
--HG--
rename : src/HOL/Data_Structures/Map_by_Ordered.thy => src/HOL/Data_Structures/Map_Specs.thy
rename : src/HOL/Data_Structures/Set_Interfaces.thy => src/HOL/Data_Structures/Set_Specs.thy
|
| #
83292697 |
|
08-Apr-2018 |
nipkow <none@none> |
better name; added binary operations
--HG--
rename : src/HOL/Data_Structures/Set_by_Ordered.thy => src/HOL/Data_Structures/Set_Interfaces.thy
|
| #
0a3fa2e8 |
|
23-Mar-2018 |
nipkow <none@none> |
eliminated "elems"
|
| #
5589896c |
|
12-Jan-2018 |
wenzelm <none@none> |
isabelle update_cartouches -c;
|
| #
0e1ddc68 |
|
09-Aug-2016 |
nipkow <none@none> |
introduced aggressive splitter "split!"
|
| #
4fd0cb28 |
|
07-Jul-2016 |
nipkow <none@none> |
got rid of class cmp; added height-size proofs by Daniel Stuewe
|
| #
b561ebd0 |
|
11-Jan-2016 |
nipkow <none@none> |
added AA_Map; tuned titles
|
| #
7471b1ea |
|
19-Nov-2015 |
nipkow <none@none> |
tuned
|
| #
2c45a20b |
|
19-Nov-2015 |
nipkow <none@none> |
tuned and converted to cmp
|
| #
f42b3257 |
|
11-Nov-2015 |
nipkow <none@none> |
no CRLF
|
| #
16e9bbf5 |
|
05-Nov-2015 |
nipkow <none@none> |
tuned
|
| #
efd623c1 |
|
05-Nov-2015 |
nipkow <none@none> |
Convertd to 3-way comparisons
|
| #
b5b9dd66 |
|
25-Oct-2015 |
nipkow <none@none> |
added 234-trees (slow)
|