History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Vector_Spaces.thy
Revision Date Author Comments
# 0f360eed 13-Jul-2018 paulson <lp15@cam.ac.uk>

de-applying
# 9e94ca85 12-Jul-2018 immler <none@none>

relaxed assumptions for dim_image_eq and dim_image_le
# a9b271d6 11-Jun-2018 immler <none@none>

default value for parametricity of dim
# dcc6865b 06-Jun-2018 wenzelm <none@none>

isabelle update_comments;
# 6437a27a 15-May-2018 wenzelm <none@none>

tuned headers;
# f4f1a444 15-May-2018 immler <none@none>

move FuncSet back to HOL-Library (amending 493b818e8e10)

--HG--
rename : src/HOL/FuncSet.thy => src/HOL/Library/FuncSet.thy
# 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