History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Modules.thy
Revision Date Author Comments
# 6437a27a 15-May-2018 wenzelm <none@none>

tuned headers;
# b3832654 03-May-2018 immler <none@none>

fixed HOL-Analysis
# e04b7748 02-May-2018 immler <none@none>

added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly

--HG--
rename : src/HOL/Library/FuncSet.thy => src/HOL/FuncSet.thy