History log of /seL4-l4v-master/isabelle/src/HOL/Types_To_Sets/Types_To_Sets.thy
Revision Date Author Comments
# 8b002348 18-Jan-2019 immler <none@none>

automation for unverloading definitions
# e60cf64d 06-Jan-2019 wenzelm <none@none>

isabelle update -u path_cartouches;
# 9c5e4721 12-Jun-2018 immler <none@none>

a derived rule combining unoverload and internalize_sort
# 7c43e5f4 20-May-2018 wenzelm <none@none>

prefer HTTPS;
# c8c848bc 12-Dec-2016 wenzelm <none@none>

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