Changes

Summary

more timeouts
missing timeout
adapted to renamed prefix* in Library/Sublist

Changeset 6642:9e66bb7630a0 by lars hupel _lars.hupel@mytum.de_: more timeouts
The file was modified	`thys/Perron_Frobenius/ROOT` (diff)
Changeset 6641:3f4a6bce3336 by nipkow: missing timeout
The file was modified	`thys/Probabilistic_Noninterference/ROOT` (diff)
Changeset 6640:3b6fb9fbf71d by nipkow: adapted to renamed prefix* in Library/Sublist
The file was modified	`thys/Circus/CSP_Processes.thy` (diff)
The file was modified	`thys/Circus/Circus_Actions.thy` (diff)
The file was modified	`thys/Circus/Denotational_Semantics.thy` (diff)
The file was modified	`thys/Circus/Reactive_Processes.thy` (diff)
The file was modified	`thys/Coinductive/Coinductive_List.thy` (diff)
The file was modified	`thys/Coinductive/Examples/LList_CCPO_Topology.thy` (diff)
The file was modified	`thys/ConcurrentGC/Handshakes.thy` (diff)
The file was modified	`thys/ConcurrentGC/MarkObject.thy` (diff)
The file was modified	`thys/ConcurrentGC/StrongTricolour.thy` (diff)
The file was modified	`thys/ConcurrentGC/Tactics.thy` (diff)
The file was modified	`thys/ConcurrentIMP/CIMP_unbounded_buffer_ex.thy` (diff)
The file was modified	`thys/Formal_SSA/Construct_SSA_notriv.thy` (diff)
The file was modified	`thys/Formal_SSA/FormalSSA_Misc.thy` (diff)
The file was modified	`thys/Formal_SSA/Graph_path.thy` (diff)
The file was modified	`thys/Formal_SSA/Minimality.thy` (diff)
The file was modified	`thys/Formal_SSA/SSA_CFG.thy` (diff)
The file was modified	`thys/Functional-Automata/MaxChop.thy` (diff)
The file was modified	`thys/Functional-Automata/MaxPrefix.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Incredible_Completeness.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Incredible_Trees.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Inits.thy` (diff)
The file was modified	`thys/Incredible_Proof_Machine/Rose_Tree.thy` (diff)
The file was modified	`thys/Jinja/Compiler/Correctness2.thy` (diff)
The file was modified	`thys/Jinja/Compiler/TypeComp.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/TypeComp.thy` (diff)
The file was modified	`thys/Myhill-Nerode/Myhill_2.thy` (diff)
The file was modified	`thys/Probabilistic_Noninterference/Language_Semantics.thy` (diff)
The file was modified	`thys/Stern_Brocot/Stern_Brocot_Tree.thy` (diff)