HomeIsabelle/Phabricator
Diffusion afp-devel 6a7d4e617b10

Tweaks
6a7d4e617b10
Actions

Description

Tweaks

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPd119f1e8ad9a: restructure proof
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP6a7d4e617b10: Tweaks.May 4 2021, 12:40 PM

Changes (1)

PathSize
thys/
Epistemic_Logic/

rAFP6a7d4e617b10

View Options

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...