Diffusion afp-devel 1a0be182fdda

Consistent spacing in set comprehension and name fixes.
1a0be182fdda
Actions

Tags

None

Subscribers

None

Description

Consistent spacing in set comprehension and name fixes.

Details

Provenance

Andreas Halkjær From <s144442@student.dtu.dk>

Authored on

Parents

rAFP616e41c5089c: Consistent spacing in set comprehension.

Branches

Unknown

Tags

Unknown

Event Timeline

Andreas Halkjær From <s144442@student.dtu.dk> committed rAFP1a0be182fdda: Consistent spacing in set comprehension and name fixes..Oct 25 2019, 5:33 PM

Changes (2)

Path

Size

thys/

FOL_Seq_Calc1/

rAFP1a0be182fdda

thys/FOL_Seq_Calc1/Sequent.thy

Loading...

thys/FOL_Seq_Calc1/Tableau.thy

Loading...