Changes

Summary

Changeset 9072:a06f9ae57c32 by julian brunner _julianbrunner@gmail.com_: using datatypes instead of records
The file was modified	`thys/Buchi_Complementation/Complementation.thy` (diff)
The file was modified	`thys/Buchi_Complementation/Complementation_Final.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/Transition_Systems_and_Automata/Automata/NBA.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA_Explicit.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA_Implement.thy` (diff)
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_Refine.thy` (diff)
The file was modified	`thys/Transition_Systems_and_Automata/Automata/NBA_Translate.thy` (diff)