Session Order_Lattice_Props
View
theory dependencies
View
document
View
outline
Theories
Sup_Lattice
Order_Duality
Order_Lattice_Props
Representations
Galois_Connections
Fixpoint_Fusion
Closure_Operators
Order_Lattice_Props_Loc
Order_Lattice_Props_Wenzel