Diffusion afp-devel 8eb0a45852dc

back out Paraconsistency
8eb0a45852dc
Actions

Tags

None

Subscribers

None

Description

back out Paraconsistency

Details

Provenance

Anders Schlichtkrull <andsch@cs.aau.dk>

Authored on

Parents

rAFPb07f8898e878: merge

Branches

Unknown

Tags

Unknown

Reverted By

rAFP582bad32ddbf: Backed out changeset 8eb0a45852dc

Event Timeline

Anders Schlichtkrull <andsch@cs.aau.dk> committed rAFP8eb0a45852dc: back out Paraconsistency.Jul 28 2023, 1:47 AM

Anders Schlichtkrull <andsch@cs.aau.dk> added a reverting change: rAFP582bad32ddbf: Backed out changeset 8eb0a45852dc.Sep 1 2023, 11:40 AM

Changes (5)

Path

Size

Paraconsistency

Paraconsistency_Validity_Infinite.thy

document/

rAFP8eb0a45852dc

thys/Paraconsistency/Paraconsistency_Validity_Infinite.thy

Loading...

thys/Paraconsistency/ROOT

Loading...

thys/Paraconsistency/document/root.tex

Loading...