History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Cmp.thy
Revision Date Author Comments
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# 496f9408 11-Jul-2016 nipkow <none@none>

restored executability of cmp
# 4fd0cb28 07-Jul-2016 nipkow <none@none>

got rid of class cmp; added height-size proofs by Daniel Stuewe
# f42b3257 11-Nov-2015 nipkow <none@none>

no CRLF
# efd623c1 05-Nov-2015 nipkow <none@none>

Convertd to 3-way comparisons