Session Design_Theory
View
theory dependencies
View
document
View
outline
Theories
Card_Partitions.Set_Partition
Nested_Multisets_Ordinals.Multiset_More
Nested_Multisets_Ordinals.Duplicate_Free_Multiset
Multisets_Extras
Design_Basics
Design_Operations
Block_Designs
BIBD
Resolvable_Designs
Group_Divisible_Designs
Graph_Theory.Rtrancl_On
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