Changes

Summary

merged
merge from afp-2016
new entry: DFS_Framework

Changeset 6852:5149b621d433 by kleing: merged
Changeset 6851:bd039d0fcb12 by kleing: merge from afp-2016
Changeset 6850:8d050b75052c by gerwin.klein@nicta.com.au: new entry: DFS_Framework
The file was added	`thys/DFS_Framework/DFS_Chapter_Framework.thy`
The file was added	`thys/DFS_Framework/DFS_Framework.thy`
The file was added	`thys/DFS_Framework/Examples/Cyc_Check.thy`
The file was added	`thys/DFS_Framework/Examples/DFS_All_Examples.thy`
The file was added	`thys/DFS_Framework/Examples/DFS_Chapter_Examples.thy`
The file was added	`thys/DFS_Framework/Examples/DFS_Find_Path.thy`
The file was added	`thys/DFS_Framework/Examples/Feedback_Arcs.thy`
The file was added	`thys/DFS_Framework/Examples/Nested_DFS.thy`
The file was added	`thys/DFS_Framework/Examples/Reachable_Nodes.thy`
The file was added	`thys/DFS_Framework/Examples/Tarjan.thy`
The file was added	`thys/DFS_Framework/Examples/Tarjan_LowLink.thy`
The file was added	`thys/DFS_Framework/Impl/Data/Restr_Impl.thy`
The file was added	`thys/DFS_Framework/Impl/Data/Simple_Impl.thy`
The file was added	`thys/DFS_Framework/Impl/Structural/General_DFS_Structure.thy`
The file was added	`thys/DFS_Framework/Impl/Structural/Rec_Impl.thy`
The file was added	`thys/DFS_Framework/Impl/Structural/Tailrec_Impl.thy`
The file was added	`thys/DFS_Framework/Invars/DFS_Invars_Basic.thy`
The file was added	`thys/DFS_Framework/Invars/DFS_Invars_SCC.thy`
The file was added	`thys/DFS_Framework/Misc/DFS_Framework_Misc.thy`
The file was added	`thys/DFS_Framework/Misc/DFS_Framework_Refine_Aux.thy`
The file was added	`thys/DFS_Framework/Misc/Impl_Rev_Array_Stack.thy`
The file was added	`thys/DFS_Framework/Misc/On_Stack.thy`
The file was added	`thys/DFS_Framework/Param_DFS.thy`
The file was added	`thys/DFS_Framework/ROOT`
The file was added	`thys/DFS_Framework/document/root.tex`
The file was added	`web/entries/DFS_Framework.shtml`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Automatic_Refinement.shtml` (diff)
The file was modified	`web/entries/CAVA_Automata.shtml` (diff)
The file was modified	`web/entries/Collections.shtml` (diff)
The file was modified	`web/entries/Refine_Monadic.shtml` (diff)
The file was modified	`web/index.shtml` (diff)
The file was modified	`web/topics.shtml` (diff)