History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Types_To_Sets/Examples/Finite.thy
Revision Date Author Comments
# a7ccdf43 10-Jan-2018 nipkow <none@none>

ran isabelle update_op on all sources
# c8c848bc 12-Dec-2016 wenzelm <none@none>

proper session HOL-Types_To_Sets;
NEWS;
CONTRIBUTORS;
tuned whitespace;