Diffusion afp-devel e92c32666572

"Moving up" AFP library material to more appropriate places
e92c32666572
Actions

Tags

None

Subscribers

None

Description

"Moving up" AFP library material to more appropriate places

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPb487aa6ee61a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPe92c32666572: "Moving up" AFP library material to more appropriate places.Jan 30 2024, 5:40 PM

Changes (3)

Path

Size

thys/

Berlekamp_Zassenhaus/

Finite_Field.thy

LLL_Basis_Reduction/

LLL_Certification.thy

Perfect_Fields/

Perfect_Field_Library.thy

rAFPe92c32666572

thys/Berlekamp_Zassenhaus/Finite_Field.thy

Loading...

thys/LLL_Basis_Reduction/LLL_Certification.thy

Loading...

thys/Perfect_Fields/Perfect_Field_Library.thy

Loading...