History log of /seL4-l4v-master/l4v/lib/sep_algebra/ex/capDL/Separation_D.thy
Revision Date Author Comments
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# 52992889 23-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: Sep_Algebra
# 41d4aa4f 25-Oct-2016 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

Isabelle2016-1: update references to renamed constants and facts
# 5f0bf39c 27-Mar-2016 Gerwin Klein <gerwin.klein@nicta.com.au>

sep_algebra: cleanup

- fixed legacy warnings
- fixed almost all other warnings as well
- clarified some monoid lemmas that had misleading mixed notation
- improved layout style compliance (seriously, people..)
- comment typo fixes etc
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.