Diffusion afp-devel dbd284b8f435

Migration of material to the repository and necessary modifications
dbd284b8f435
Actions

Tags

None

Subscribers

None

Description

Migration of material to the repository and necessary modifications

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP04887abda608: Removal of a stray sledgehammer command

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPdbd284b8f435: Migration of material to the repository and necessary modifications.Feb 17 2023, 12:23 PM

Changes (8)

Path

Size

E_Transcendental/

E_Transcendental.thy

Formal_Puiseux_Series

Formal_Puiseux_Series.thy

Puiseux_Laurent_Library.thy

Hermite_Lindemann/

Hermite_Lindemann.thy

Zeta_3_Irrational/

Zeta_3_Irrational.thy

rAFPdbd284b8f435

thys/E_Transcendental/E_Transcendental.thy

Loading...

thys/Formal_Puiseux_Series/Formal_Puiseux_Series.thy

Loading...

thys/Formal_Puiseux_Series/Puiseux_Laurent_Library.thy

Loading...

thys/Formal_Puiseux_Series/ROOT

Loading...

thys/Hermite_Lindemann/Hermite_Lindemann.thy

Loading...

thys/Zeta_3_Irrational/Zeta_3_Irrational.thy

Loading...