Diffusion afp-devel 4d8afd37b465

adapted to Isabelle/c4677a6aae2c;
4d8afd37b465
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/c4677a6aae2c;

Details

Provenance

Authored on

Parents

rAFP01150a4daa48: Some hyphens that should be en dashes

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP4d8afd37b465: adapted to Isabelle/c4677a6aae2c;.May 2 2023, 8:03 PM

Changes (4)

Path

Size

thys/

Berlekamp_Zassenhaus/

Unique_Factorization.thy

Unique_Factorization_Poly.thy

Well_Quasi_Orders/

Kruskal_Examples.thy

Wqo_Instances.thy

rAFP4d8afd37b465

thys/Berlekamp_Zassenhaus/Unique_Factorization.thy

Loading...

thys/Berlekamp_Zassenhaus/Unique_Factorization_Poly.thy

Loading...

thys/Well_Quasi_Orders/Kruskal_Examples.thy

Loading...

thys/Well_Quasi_Orders/Wqo_Instances.thy

Loading...