Diffusion Isabelle 1e19abf373ac

streamlined type class specification
1e19abf373ac
Actions

Tags

None

Subscribers

None

Description

streamlined type class specification

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE62d8c6c08fb2: consolidated lemma name

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE1e19abf373ac: streamlined type class specification.Jan 14 2024, 9:02 PM

Changes (3)

Path

Size

src/

HOL/

Bit_Operations.thy

Code_Numeral.thy

Library/

rISABELLE1e19abf373ac

src/HOL/Bit_Operations.thy

Loading...

src/HOL/Code_Numeral.thy

Loading...

src/HOL/Library/Word.thy

Loading...