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

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

Word_Lib: record OTHER_BSD license for AFP contrib theory
# 04f4336a 23-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Word_Lib: sync with AFP