Diffusion afp-devel 7cc49d3407b3

slightly less technical formulation of very specific type class
7cc49d3407b3
Actions

Tags

None

Subscribers

None

Description

slightly less technical formulation of very specific type class

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPa943f1d84bc0: fixed duplicate theory name in Polynomial_Factorization

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP7cc49d3407b3: slightly less technical formulation of very specific type class.Nov 9 2023, 4:11 PM

Changes (3)

Path

Size

thys/

Crypto_Standards/

Design_Theory/

Resolvable_Designs.thy

Polygonal_Number_Theorem/

Polygonal_Number_Theorem_Lemmas.thy

rAFP7cc49d3407b3

thys/Crypto_Standards/EC_Common.thy

Loading...

thys/Design_Theory/Resolvable_Designs.thy

Loading...

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Lemmas.thy

Loading...