HomeIsabelle/Phabricator

adjusted LTL_Master_Theorem for changes in automata library

Description

adjusted LTL_Master_Theorem for changes in automata library

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Feb 10 2020, 8:09 PM
Parents
rAFP7dd6d78906a3: added deterministic complementation
Branches
Unknown
Tags
Unknown

Event Timeline