(*<*) theory Collection_Autoref_Examples imports Coll_Test Simple_DFS ICF_Test ICF_Only_Test Nested_DFS Combined_TwoSat begin end (*>*)