HomeIsabelle/Phabricator

reduced redundancy by sharing theories with MFOTL_Monitor;

Description

reduced redundancy by sharing theories with MFOTL_Monitor;
using String.literal in exported code

Details

Provenance
Joshua Schneider <joshua.schneider@inf.ethz.ch>Authored on
Parents
rAFP3c4396a19260: MFOTL_Monitor change history
Branches
Unknown
Tags
Unknown