History log of /seL4-l4v-master/l4v/lib/Repeat_Attribute.thy
Revision Date Author Comments
# 26ea3610 23-Oct-2020 Corey Lewis <Corey.Lewis@data61.csiro.au>

lib: add attribute to repeatedly apply other attributes

Signed-off-by: Corey Lewis <Corey.Lewis@data61.csiro.au>