Summary
- improved automata library implementations
The file was modified | thys/Transition_Systems_and_Automata/Automata/NBA_Nodes.thy (diff) |
The file was modified | thys/Transition_Systems_and_Automata/Automata/NBA_Translate.thy (diff) |
The file was modified | thys/Transition_Systems_and_Automata/Basic/Implement.thy (diff) |