History log of /seL4-l4v-master/isabelle/src/ZF/ZF_Base.thy
Revision Date Author Comments
# 5ae42ac6 19-Feb-2020 wenzelm <none@none>

proper print mode for function_space notation (amending d68b705719ce);
# a4bab154 04-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# e2e4d5f1 03-Jan-2019 wenzelm <none@none>

isabelle update -u mixfix_cartouches;
# 5385dbfa 16-Jan-2018 wenzelm <none@none>

standardized towards new-style formal comments: isabelle update_comments;
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 74c9a8d5 09-Apr-2017 wenzelm <none@none>

clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;

--HG--
rename : src/ZF/Main_ZF.thy => src/ZF/ZF.thy
rename : src/ZF/Main_ZFC.thy => src/ZF/ZFC.thy
rename : src/ZF/ZF.thy => src/ZF/ZF_Base.thy