Diffusion Isabelle ee659bca8955

factored out theory Bits_Int
ee659bca8955
Actions

Tags

None

Subscribers

None

Description

factored out theory Bits_Int

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEab32922f139b: factored out singular operation into separate theory

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEee659bca8955: factored out theory Bits_Int.Oct 17 2020, 6:56 PM

Changes (8)

Path

Size

src/

HOL/

Library/

Bit_Operations.thy

SPARK/

Manual/

Word/

Bit_Comprehension.thy

Misc_Typedef.thy

Reversed_Bit_Lists.thy

rISABELLEee659bca8955

src/HOL/Library/Bit_Operations.thy

Loading...

src/HOL/SPARK/Manual/Reference.thy

Loading...

src/HOL/SPARK/SPARK.thy

Loading...

src/HOL/Word/Bit_Comprehension.thy

Loading...

src/HOL/Word/Bits_Int.thy

Loading...

src/HOL/Word/Misc_Typedef.thy

Loading...

src/HOL/Word/Reversed_Bit_Lists.thy

Loading...

src/HOL/Word/Word.thy

Loading...