HomeIsabelle/Phabricator

Tweak completeness proof

Description

Tweak completeness proof

Details

Provenance
Asta Halkjær From <s144442@student.dtu.dk>Authored on
Parents
rAFP2c05bbf7e93d: proper file;
Branches
Unknown
Tags
Unknown

Event Timeline