History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Types_To_Sets/internalize_sort.ML
Revision Date Author Comments
# 24be7acc 29-Jul-2019 wenzelm <none@none>

clarified signature;
tuned;
# 752574b8 29-Jul-2019 wenzelm <none@none>

tuned signature;
# 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;