Diffusion Isabelle 65ffe9e910d4

more specific class assumptions
65ffe9e910d4
Actions

Tags

None

Subscribers

None

Description

more specific class assumptions

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE96d126844adc: more theorems

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE65ffe9e910d4: more specific class assumptions.Feb 1 2020, 7:10 PM

Changes (5)

Path

Size

src/

HOL/

Code_Numeral.thy

Euclidean_Division.thy

ex/

Bit_Operations.thy

rISABELLE65ffe9e910d4

src/HOL/Code_Numeral.thy

Loading...

src/HOL/Euclidean_Division.thy

Loading...

src/HOL/Parity.thy

Loading...

src/HOL/ex/Bit_Operations.thy

Loading...

src/HOL/ex/Word.thy

Loading...