Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. added deterministic büchi automata
Changeset 9067:70a7332b71dc by julian brunner _julianbrunner@gmail.com_:
added deterministic büchi automata
The file was addedthys/Transition_Systems_and_Automata/Automata/DBA.thy
The file was modified thys/Transition_Systems_and_Automata/Basic/Sequence.thy (diff)