Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Changeset 10452:dc3e35215567 by julian brunner _julianbrunner@gmail.com_: updated basic theories
The file was modified	`thys/Buchi_Complementation/Ranking.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Acceptance.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Basic.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Sequence.thy`
The file was modified	`thys/Transition_Systems_and_Automata/Basic/Sequence_LTL.thy`