Diffusion afp-devel a581d4cc6671

consistent casing in \cite
a581d4cc6671
Actions

Tags

None

Subscribers

None

Description

consistent casing in \cite

Details

Provenance

Lars Hupel <lars.hupel@mytum.de>

Authored on

Parents

rAFP493d027d541e: ETTS: updated bibliography and citations

Branches

Unknown

Tags

Unknown

Event Timeline

Lars Hupel <lars.hupel@mytum.de> committed rAFPa581d4cc6671: consistent casing in \cite.Jan 19 2023, 7:07 AM

Changes (3)

Path

Size

thys/

Gabow_SCC/

Gabow_Skeleton.thy

document/

rAFPa581d4cc6671

thys/Gabow_SCC/Gabow_SCC.thy

Loading...

thys/Gabow_SCC/Gabow_Skeleton.thy

Loading...

thys/Gabow_SCC/document/root.bib

Loading...