HomeIsabelle/Phabricator

lemma statement w.r.t. final version of related paper

Description

lemma statement w.r.t. final version of related paper

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP12f1328fb502: running sitegen
Branches
Unknown
Tags
Unknown