Session Kleene_Algebra
View
theory dependencies
View
document
View
outline
Theories
Signatures
Dioid
Dioid_Models
HOL-Library.Phantom_Type
HOL-Library.Cardinality
HOL-Library.Numeral_Type
HOL-Library.Type_Length
HOL-Library.Word
File ‹Tools/word_lib.ML›
File ‹Tools/smt_word.ML›
Matrix
Conway
Kleene_Algebra
Kleene_Algebra_Models
Omega_Algebra
Omega_Algebra_Models
DRA
PHL_KA
PHL_DRA
Finite_Suprema
Formal_Power_Series
Inf_Matrix