Session MonoBoolTranAlgebra
View
theory dependencies
View
document
View
outline
Theories
LatticeProperties.WellFoundedTransitive
LatticeProperties.Complete_Lattice_Prop
LatticeProperties.Conj_Disj
Mono_Bool_Tran
Mono_Bool_Tran_Algebra
Assertion_Algebra
Statements