Index of Isabelle/HOL/HOL-Nominal/CCS

Up to index of Isabelle/HOL/HOL-Nominal

View theory dependencies
View document
View outline

Theories

Agent
Tau_Chain
Weak_Cong_Semantics
Weak_Semantics
Strong_Sim
Weak_Sim
Weak_Cong_Sim
Strong_Sim_SC
Strong_Bisim
Strong_Sim_Pres
Strong_Bisim_Pres
Struct_Cong
Strong_Bisim_SC
Weak_Bisim
Weak_Cong
Weak_Sim_Pres
Weak_Bisim_Pres
Weak_Cong_Sim_Pres
Weak_Cong_Pres