HomeIsabelle/Phabricator

updated to work with recent automata changes

Description

updated to work with recent automata changes

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP83c109099c9b: added NGBA implementations
Branches
Unknown
Tags
Unknown