History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Sorting.thy
Revision Date Author Comments
# ee9697ec 13-May-2018 nipkow <none@none>

tuned
# 76e188f7 13-May-2018 nipkow <none@none>

tuned
# ff1ba275 13-May-2018 nipkow <none@none>

mv lemma
# 3b106d98 13-May-2018 nipkow <none@none>

removed unused lemma
# 48ff2a62 13-May-2018 nipkow <none@none>

tuned
# 06e28ed5 09-May-2018 nipkow <none@none>

simpler types
# 9e8a74a4 04-May-2018 nipkow <none@none>

tuned
# 907fda31 04-May-2018 nipkow <none@none>

tuned
# 072f7a77 15-Apr-2018 nipkow <none@none>

added bottom-up merge sort
# 8a74fa41 24-Oct-2017 immler <none@none>

generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen
# f26ae057 28-Aug-2017 nipkow <none@none>

new file