Session Correctness_Algebras
View
theory dependencies
View
document
View
outline
Theories
Stone_Algebras.Lattice_Basics
Stone_Relation_Algebras.Fixpoints
Stone_Relation_Algebras.Semirings
Base
Stone_Kleene_Relation_Algebras.Iterings
Stone_Kleene_Relation_Algebras.Kleene_Algebras
Omega_Algebras
Capped_Omega_Algebras
General_Refinement_Algebras
Lattice_Ordered_Semirings
Stone_Algebras.P_Algebras
Boolean_Semirings
Binary_Iterings
Binary_Iterings_Strict
Binary_Iterings_Nonstrict
Subset_Boolean_Algebras.Subset_Boolean_Algebras
Tests
Test_Iterings
N_Semirings
N_Semirings_Boolean
N_Semirings_Modal
Approximation
Recursion_Strict
N_Algebras
Recursion
N_Omega_Algebras
N_Omega_Binary_Iterings
Stone_Relation_Algebras.Relation_Algebras
N_Relation_Algebras
Domain
Domain_Iterings
Domain_Recursion
Extended_Designs
Relative_Domain
Relative_Modal
Complete_Tests
Complete_Domain
Preconditions
Hoare
Hoare_Modal
Pre_Post
Pre_Post_Modal
LatticeProperties.WellFoundedTransitive
LatticeProperties.Complete_Lattice_Prop
LatticeProperties.Conj_Disj
MonoBoolTranAlgebra.Mono_Bool_Tran
MonoBoolTranAlgebra.Mono_Bool_Tran_Algebra
MonoBoolTranAlgebra.Assertion_Algebra
Monotonic_Boolean_Transformers
Monotonic_Boolean_Transformers_Instances