HomeIsabelle/Phabricator

Prove completeness of the fully restricted system.

Description

Prove completeness of the fully restricted system.

Details

Provenance
Asta Halkjær From <s144442@student.dtu.dk>Authored on
Parents
rAFPb5440f7e5a01: simplified Let constructor
Branches
Unknown
Tags
Unknown