src/HOL/ex/Bit_Operations.thy
8 weeks ago ago more instances
8 weeks ago ago easy abstraction over pointwise bit operations
8 weeks ago ago rule concerning bit (push_bit ...)
2 months ago ago simplified logical constructions
2 months ago ago simplified logical constructions
2 months ago ago more theorems
2 months ago ago more specific class assumptions
2 months ago ago more theorems
2 months ago ago sketches of ideas still to come
4 months ago ago tuned material
4 months ago ago characterization of typical bit operations
4 months ago ago bit accessor and fundamental properties
4 months ago ago tuned order between theories
5 months ago ago bit shifts as class operations
5 months ago ago proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation