History log of /seL4-l4v-master/isabelle/src/HOL/Types_To_Sets/unoverloading.ML
Revision Date Author Comments
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# c8c848bc 12-Dec-2016 wenzelm <none@none>

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