HomeIsabelle/Phabricator
Diffusion afp-devel e1046d8be835

Update to new Epistemic_Logic.thy
e1046d8be835
Actions

Description

Update to new Epistemic_Logic.thy

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFP09d0f0e8b5f5: Avoid typedefs
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPe1046d8be835: Update to new Epistemic_Logic.thy.Jul 29 2021, 5:57 PM

Changes (1)

PathSize
thys/
Public_Announcement_Logic/

rAFPe1046d8be835

View Options

thys/Public_Announcement_Logic/PAL.thy

Loading...