History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Types_To_Sets/Examples/Group_On_With.thy
Revision Date Author Comments
# de1524b5 14-Nov-2018 immler <none@none>

fixed import
# 23ca233b 14-Nov-2018 immler <none@none>

extract example for ab_group_add_on_with
# 8fc0aae3 14-Nov-2018 immler <none@none>

generalized local_typedef_ab_group_add
# 91370a94 13-Nov-2018 immler <none@none>

use locales in Group_On_With
# 5c6f3ded 27-Jun-2018 immler <none@none>

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