HomeIsabelle/Phabricator
Diffusion afp-devel 6174f4badbac

Better notation.
6174f4badbac
Actions

Description

Better notation.

Details

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

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP6174f4badbac: Better notation..Jan 28 2022, 11:32 AM

Changes (1)

PathSize
thys/
Public_Announcement_Logic/

rAFP6174f4badbac

View Options

thys/Public_Announcement_Logic/PAL.thy

Loading...