Session Design_Theory

Theories

• HOL-Library.FuncSet
• HOL-Library.Disjoint_Sets
• Card_Partitions.Set_Partition
• Nested_Multisets_Ordinals.Duplicate_Free_Multiset
• Multisets_Extras
• Design_Basics
• Design_Operations
• Block_Designs
• BIBD
• Resolvable_Designs
• Group_Divisible_Designs
• Graph_Theory.Rtrancl_On
• HOL-Library.Liminf_Limsup
• HOL-Library.Extended_Real
• Graph_Theory.Stuff
• Graph_Theory.Digraph
• Graph_Theory.Arc_Walk
• HOL-Combinatorics.Transposition
• HOL-Combinatorics.Permutations
• Graph_Theory.Bidirected_Digraph
• Graph_Theory.Pair_Digraph
• Graph_Theory.Digraph_Component
• Designs_And_Graphs
• Sub_Designs
• Design_Isomorphisms
• Design_Theory_Root