Theory All

Up to index of Isabelle/HOL/Collections

theory All
imports itp_2010 Exploration_DFS

header {* \isaheader{All Working Examples} *}
theory All
imports "../Collections"
  "itp_2010"
  "Exploration"
  "Exploration_DFS"
begin

end