History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Types_To_Sets/Examples/Prerequisites.thy
Revision Date Author Comments
# 4f9a87ad 14-Mar-2019 wenzelm <none@none>

tuned whitespace;
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 8fc0aae3 14-Nov-2018 immler <none@none>

generalized local_typedef_ab_group_add
# 91370a94 13-Nov-2018 immler <none@none>

use locales in Group_On_With
# c8c848bc 12-Dec-2016 wenzelm <none@none>

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