Session Heard_Of
View
theory dependencies
View
document
View
outline
Theories
HOModel
HOL-Library.Infinite_Set
HOL-Library.Omega_Words_Fun
Stuttering_Equivalence.Samplers
Stuttering_Equivalence.StutterEquivalence
Reduction
Majorities
OneThirdRuleDefs
OneThirdRuleProof
UvDefs
UvProof
LastVotingDefs
LastVotingProof
UteDefs
UteProof
AteDefs
AteProof
EigbyzDefs
EigbyzProof