Diffusion afp-devel 01150a4daa48

Some hyphens that should be en dashes
01150a4daa48
Actions

Tags

None

Subscribers

None

Description

Some hyphens that should be en dashes

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP36e1288f7a4e: slightly refine WPO-definition

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP01150a4daa48: Some hyphens that should be en dashes.Apr 26 2023, 4:22 PM

Changes (11)

Path

Size

metadata/

entries/

Budan_Fourier.toml

Sturm_Tarski.toml

thys/

Budan_Fourier/

Budan_Fourier.thy

Descartes_Roots_Test.thy

document/

Sturm_Tarski/

Sturm_Tarski.thy

document/

Three_Circles/

document/

Winding_Number_Eval/

document/

rAFP01150a4daa48

metadata/entries/Budan_Fourier.toml

Loading...

metadata/entries/Sturm_Tarski.toml

Loading...

thys/Budan_Fourier/Budan_Fourier.thy

Loading...

thys/Budan_Fourier/Descartes_Roots_Test.thy

Loading...

thys/Budan_Fourier/document/root.bib

Loading...

thys/Budan_Fourier/document/root.tex

Loading...

thys/Sturm_Tarski/PolyMisc.thy

Loading...

thys/Sturm_Tarski/Sturm_Tarski.thy

Loading...

thys/Sturm_Tarski/document/root.tex

Loading...

thys/Three_Circles/document/root.bib

Loading...

thys/Winding_Number_Eval/document/root.bib

Loading...