Diffusion Isabelle 127ba61b2630

modernized, reordered, generalized
127ba61b2630
Actions

Tags

None

Subscribers

None

Description

modernized, reordered, generalized

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE74440d820ba5: more correct type annotation

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE127ba61b2630: modernized, reordered, generalized.Nov 21 2023, 8:19 PM

Changes (2)

Path

Size

src/

HOL/

Bit_Operations.thy

Groups_List.thy

rISABELLE127ba61b2630

src/HOL/Bit_Operations.thy

Loading...

src/HOL/Groups_List.thy

Loading...