| #
8e132309 |
|
26-Aug-2017 |
nipkow <none@none> |
tuned
|
| #
5ba2adde |
|
26-Aug-2017 |
nipkow <none@none> |
reorganized and added log-related lemmas
|
| #
b626ba4a |
|
25-Aug-2017 |
nipkow <none@none> |
reorganization of tree lemmas; new lemmas
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
91f987e1 |
|
07-Dec-2016 |
nipkow <none@none> |
more lemmas
|
| #
159311e5 |
|
05-Dec-2016 |
nipkow <none@none> |
spelling
|
| #
2c06c811 |
|
29-Nov-2016 |
nipkow <none@none> |
more lemmas, tuned proofs
|
| #
05689d3a |
|
08-Nov-2016 |
nipkow <none@none> |
provided more efficient interface
|
| #
e5915bdc |
|
06-Oct-2016 |
nipkow <none@none> |
moved lemmas
|
| #
2baa2b31 |
|
05-Oct-2016 |
nipkow <none@none> |
replaced floorlog by floor/ceiling(log .)
|
| #
086afb5f |
|
13-Sep-2016 |
nipkow <none@none> |
reorganization, more funs and lemmas
|
| #
e78eb62f |
|
11-Sep-2016 |
nipkow <none@none> |
more simp rules
|
| #
6f7462a2 |
|
09-Sep-2016 |
nipkow <none@none> |
More on balancing; renamed theory to Balance
--HG--
rename : src/HOL/Data_Structures/Balance_List.thy => src/HOL/Data_Structures/Balance.thy
|