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

licenses: convert license tags to SPDX
# 18a40abd 23-Jul-2019 Japheth Lim <Japheth.Lim@data61.csiro.au>

lib: move int bitwise lemmas from NatBitwise to Lib

NB: this now imports HOL-Word into Lib and Lib in turn
into NatBitwise.
# 44bdf90a 18-Jul-2019 Japheth Lim <Japheth.Lim@data61.csiro.au>

autocorres, lib: refactor `nat :: bit_operations` instance

This refactors the instances in HaskellLib and AutoCorres into a new
theory, Lib.NatBitwise.