Diffusion afp-devel aa0010657cdf

adjust for isabelle@5bba3516ddb5
aa0010657cdf
Actions

Tags

None

Subscribers

None

Description

adjust for isabelle@5bba3516ddb5

Details

Provenance

Authored on

Parents

rAFPcb0c00e47b26: merge from afp-2021-1

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPaa0010657cdf: adjust for isabelle@5bba3516ddb5.Jun 20 2022, 2:33 AM

Changes (1)

Path

Size

thys/

Finite_Fields/

Card_Irreducible_Polynomials_Aux.thy

rAFPaa0010657cdf

thys/Finite_Fields/Card_Irreducible_Polynomials_Aux.thy

Loading...