HomeIsabelle/Phabricator
Diffusion afp-devel b74da009ae6d

Better notation.
b74da009ae6d
Actions

Description

Better notation.

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP3e0d4252153b: merge from afp-2021-1
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPb74da009ae6d: Better notation..Feb 13 2022, 1:14 PM

Changes (2)

PathSize
thys/
Epistemic_Logic/
Public_Announcement_Logic/

rAFPb74da009ae6d

View Options

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...
View Options

thys/Public_Announcement_Logic/PAL.thy

Loading...