bit shifts as class operations
a197532693a5
Actions

Description

bit shifts as class operations

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

src/

HOL/

ex/

rISABELLEa197532693a5

src/HOL/Code_Numeral.thy

src/HOL/Parity.thy

src/HOL/Set_Interval.thy

src/HOL/String.thy

src/HOL/ex/Bit_Lists.thy

src/HOL/ex/Bit_Operations.thy

bit shifts as class operationsa197532693a5Actions

Description

Details

Changes (7)

rISABELLEa197532693a5

src/HOL/Code_Numeral.thy

src/HOL/Parity.thy

src/HOL/Set_Interval.thy

src/HOL/String.thy

src/HOL/ex/Bit_Lists.thy

src/HOL/ex/Bit_Operations.thy

src/HOL/ex/Word.thy

bit shifts as class operations
a197532693a5
Actions