(*<*) section ‹\isaheader{Examples for the Isabelle Collection Framework}› theory ICF_Examples imports itp_2010 Exploration Exploration_DFS PerformanceTest begin end (*>*)