HomeIsabelle/Phabricator
Diffusion afp-devel c00714f311dc

Update abstract
c00714f311dc
Actions

Description

Update abstract

Details

Provenance
Asta Halkjær From <s144442@student.dtu.dk>Authored on
Parents
rAFP8e310d6353b2: Update websites and emails.
Branches
Unknown
Tags
Unknown

Event Timeline

Asta Halkjær From <s144442@student.dtu.dk> committed rAFPc00714f311dc: Update abstract.Mar 24 2020, 10:42 AM

Changes (2)

PathSize
metadata/
thys/
Hybrid_Logic/
document/

rAFPc00714f311dc

View Options

metadata/metadata

Loading...
View Options

thys/Hybrid_Logic/document/root.tex

Loading...