Theory Gen_Algo_Chapter

Up to index of Isabelle/HOL/Collections

theory Gen_Algo_Chapter
imports Main

header {* \chapter{Generic algorithms} \label{ch:GA} *}
(*<*)
theory Gen_Algo_Chapter imports Main begin end
(*>*)