Diffusion afp-devel 582bad32ddbf

Backed out changeset 8eb0a45852dc
582bad32ddbf
Actions

Tags

None

Subscribers

None

Description

Backed out changeset 8eb0a45852dc

Details

Provenance

Anders Schlichtkrull <andsch@cs.aau.dk>

Authored on

Parents

rAFP76b68bb2e427: Relational_Disjoint_Set_Forests: minor text edits

Branches

Unknown

Tags

Unknown

Reverts

rAFP8eb0a45852dc: back out Paraconsistency

Event Timeline

Anders Schlichtkrull <andsch@cs.aau.dk> committed rAFP582bad32ddbf: Backed out changeset 8eb0a45852dc.Aug 23 2023, 4:37 PM

Anders Schlichtkrull <andsch@cs.aau.dk> added a reverted change: rAFP8eb0a45852dc: back out Paraconsistency.Sep 1 2023, 11:40 AM

Changes (5)

Path

Size

Paraconsistency

Paraconsistency_Validity_Infinite.thy

document/

rAFP582bad32ddbf

thys/Paraconsistency/Paraconsistency_Validity_Infinite.thy

Loading...

thys/Paraconsistency/ROOT

Loading...

thys/Paraconsistency/document/root.tex

Loading...