HomeIsabelle/Phabricator

cleaner presentation of analysis theorems in preliminaries

Description

cleaner presentation of analysis theorems in preliminaries

Details

Provenance
yonoteamAuthored on
Parents
rAFPe1046d8be835: Update to new Epistemic_Logic.thy
Branches
Unknown
Tags
Unknown