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

announce sorted changes
# d6194b67 08-May-2018 nipkow <none@none>

new def of sorted and sorted_wrt

--HG--
extra : amend_source : 063fe8412a72415725783d8336fe89d3cd0ca676
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# a7ccdf43 10-Jan-2018 nipkow <none@none>

ran isabelle update_op on all sources
# c7fc4ed4 16-Aug-2017 nipkow <none@none>

more reorganization around sorted_wrt
# cf4a449e 18-Nov-2015 nipkow <none@none>

moved lemmas
# f42b3257 11-Nov-2015 nipkow <none@none>

no CRLF
# 042abe0c 21-Sep-2015 nipkow <none@none>

New subdirectory for functional data structures