Changes

Summary

merged
explicit enumerated automata and cleanup

Changeset 8917:016b5fa3a87f by julian brunner _julianbrunner@gmail.com_: merged
Changeset 8916:e128aaa29a38 by julian brunner _julianbrunner@gmail.com_: explicit enumerated automata and cleanup
The file was added	`thys/Buchi_Complementation/Complementation_Final.thy`
The file was added	`thys/Transition_Systems_and_Automata/Automata/BA_Explicit.thy`
The file was added	`thys/Transition_Systems_and_Automata/Automata/BA_Nodes.thy`
The file was added	`thys/Transition_Systems_and_Automata/Automata/BA_Translate.thy`
The file was added	`thys/Transition_Systems_and_Automata/Basic/Maps.thy`
The file was modified	`thys/Buchi_Complementation/Complementation.thy` (diff)
The file was modified	`thys/Buchi_Complementation/Complementation_Implement.thy` (diff)
The file was modified	`thys/Buchi_Complementation/Graph.thy` (diff)
The file was modified	`thys/Buchi_Complementation/Ranking.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/BA.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/BA_Implement.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/BA_Refine.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DFA.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NFA.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Basic.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Implement.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Refine.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/ROOT` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Extra.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Refine.thy` (diff)