Session Regular_Algebras
View
theory dependencies
View
document
View
outline
Theories
Dioid_Power_Sum
Regular_Algebras
Regular_Algebra_Models
Pratts_Counterexamples
Regular_Algebra_Variants