History log of /seL4-l4v-master/isabelle/src/HOL/Types_To_Sets/Examples/Linear_Algebra_On_With.thy
Revision Date Author Comments
# ab32308e 21-Jan-2019 paulson <lp15@cam.ac.uk>

renamings and new material
# 8fc0aae3 14-Nov-2018 immler <none@none>

generalized local_typedef_ab_group_add
# 9e94ca85 12-Jul-2018 immler <none@none>

relaxed assumptions for dim_image_eq and dim_image_le
# 5c6f3ded 27-Jun-2018 immler <none@none>

example for Types_To_Sets: transfer from type-based linear algebra to subspaces