Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. minor adjustments to automata setup
Changeset 9078:1372a2309c0c by julian brunner _julianbrunner@gmail.com_:
minor adjustments to automata setup
The file was modified thys/Buchi_Complementation/Complementation_Implement.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Automata/DBA.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Automata/NBA.thy (diff)