HomeIsabelle/Phabricator
Diffusion afp-devel 0fa3d918ef8c

Update root.tex
0fa3d918ef8c
Actions

Description

Update root.tex

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP285e1cc62c43: Cut out Fitting's consistency properties
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP0fa3d918ef8c: Update root.tex.Apr 9 2021, 11:45 AM

Changes (1)

PathSize
thys/
Epistemic_Logic/
document/

rAFP0fa3d918ef8c

View Options

thys/Epistemic_Logic/document/root.tex

Loading...