Diffusion afp-devel b30dbda6bb1c

replace underscore latex package with formal markup
b30dbda6bb1c
Actions

Tags

None

Subscribers

None

Description

replace underscore latex package with formal markup

Details

Provenance

Anders Schlichtkrull <andsch@cs.aau.dk>

Authored on

Parents

rAFPbc96d1b79af3: merge

Branches

Unknown

Tags

Unknown

Event Timeline

Anders Schlichtkrull <andsch@cs.aau.dk> committed rAFPb30dbda6bb1c: replace underscore latex package with formal markup.Sep 1 2023, 11:38 AM

Changes (3)

Path

Size

thys/

Paraconsistency/

Paraconsistency.thy

Paraconsistency_Validity_Infinite.thy

document/

rAFPb30dbda6bb1c

thys/Paraconsistency/Paraconsistency.thy

Loading...

thys/Paraconsistency/Paraconsistency_Validity_Infinite.thy

Loading...

thys/Paraconsistency/document/root.tex

Loading...