HomeIsabelle/Phabricator
Diffusion afp-devel f05300d8017a

Tuned spacing.
f05300d8017a
Actions

Description

Tuned spacing.

Details

Provenance
Andreas Halkjær From <s144442@student.dtu.dk>Authored on
Parents
rAFP1a0be182fdda: Consistent spacing in set comprehension and name fixes.
Branches
Unknown
Tags
Unknown

Event Timeline

Andreas Halkjær From <s144442@student.dtu.dk> committed rAFPf05300d8017a: Tuned spacing..Oct 31 2019, 12:09 AM

Changes (2)

PathSize
thys/
FOL_Seq_Calc1/

rAFPf05300d8017a

View Options

thys/FOL_Seq_Calc1/Sequent.thy

Loading...
View Options

thys/FOL_Seq_Calc1/Tableau.thy

Loading...