HomeIsabelle/Phabricator
Diffusion afp-devel 09d0f0e8b5f5

Avoid typedefs
09d0f0e8b5f5
Actions

Description

Avoid typedefs

Details

Provenance
Asta Halkjær From <andro.from@gmail.com>Authored on
Parents
rAFPd4dfaca0753b: Clean: set AFP standard document options
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP09d0f0e8b5f5: Avoid typedefs.Jul 29 2021, 5:13 PM

Changes (1)

PathSize
thys/
Epistemic_Logic/

rAFP09d0f0e8b5f5

View Options

thys/Epistemic_Logic/Epistemic_Logic.thy

Loading...