History log of /seL4-l4v-master/l4v/lib/Monad_WP/Less_Monad_Syntax.thy
Revision Date Author Comments
# d9ff25ff 21-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

lib: update for 2020 Monad_Syntax

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# f3dca686 10-Oct-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

lib: option (reader) monad syntax and gets_map operator