HomeIsabelle/Phabricator
Diffusion afp-devel 478526986480

Small abstract correction.
478526986480
Actions

Description

Small abstract correction.

Details

Provenance
Asta Halkjær From <s144442@student.dtu.dk>Authored on
Parents
rAFP6ae0a1721dae: Prove completeness of the fully restricted system.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <s144442@student.dtu.dk> committed rAFP478526986480: Small abstract correction..Jun 3 2020, 7:31 PM

Changes (2)

PathSize
metadata/
thys/
Hybrid_Logic/
document/

rAFP478526986480

View Options

metadata/metadata

Loading...
View Options

thys/Hybrid_Logic/document/root.tex

Loading...