Session Concurrent_Ref_Alg
View
theory dependencies
View
document
View
outline
Theories
Refinement_Lattice
Sequential
Parallel
Conjunction
CRA
Galois_Connections
Iteration
Conjunctive_Sequential
Infimum_Nat
Conjunctive_Iteration
Rely_Quotient