HomeIsabelle/Phabricator

adjusted LTL_Master_Theorem for changes in automata library

Description

adjusted LTL_Master_Theorem for changes in automata library

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP7dd6d78906a3: added deterministic complementation
Branches
Unknown
Tags
Unknown