Diffusion afp-devel d3cca60aed6b

fixed typos in Hermite_Lindemann
d3cca60aed6b
Actions

Tags

None

Subscribers

None

Description

fixed typos in Hermite_Lindemann

Details

Provenance

Authored on

Parents

rAFP931936ecb4e1: proper guard to avoid spurious system messages like "### Ignored report message…

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPd3cca60aed6b: fixed typos in Hermite_Lindemann.Thu, Apr 4, 10:58 AM

Changes (2)

Path

Size

thys/

Hermite_Lindemann/

Hermite_Lindemann.thy

document/

rAFPd3cca60aed6b

thys/Hermite_Lindemann/Hermite_Lindemann.thy

Loading...

thys/Hermite_Lindemann/document/root.tex

Loading...