HomeIsabelle/Phabricator
Diffusion afp-devel cf7d5176f108

Abstract results to shorten proofs.
cf7d5176f108
Actions

Description

Abstract results to shorten proofs.

Details

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

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFPcf7d5176f108: Abstract results to shorten proofs..Jan 29 2022, 3:49 PM

Changes (2)

PathSize
thys/
Epistemic_Logic/
Public_Announcement_Logic/

rAFPcf7d5176f108

View Options

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...
View Options

thys/Public_Announcement_Logic/PAL.thy

Loading...