HomeIsabelle/Phabricator
Diffusion afp-devel c6c94d91e388

Correct date.
c6c94d91e388
Actions

Description

Correct date.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPfac62d4de096: deleted a lemma that's in the devel library
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPc6c94d91e388: Correct date..Feb 10 2022, 11:22 AM

Changes (1)

PathSize
thys/
Epistemic_Logic/

rAFPc6c94d91e388

View Options

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...