(* Title: Design_Theory_Root.thy Author: Chelsea Edmonds *) theory Design_Theory_Root imports Multisets_Extras Design_Basics Design_Operations Block_Designs BIBD Resolvable_Designs Group_Divisible_Designs Designs_And_Graphs Design_Isomorphisms Sub_Designs begin end