Library Nom_Swap_fs
Library Nom_Syntax
Library Nom_Semantics
Library Nom_Bisimulation
Library Nom_Struct_congr
Simulation up to SC
Library Nom_Howe
Basic properties
Symmetry of the transitive closure
Substitutivity
Library Nom_HoweSound
Sequential proof, input then output
Sequential proof, output then input
Simultaneous proof
Part common to all proofs
This page has been generated by
coqdoc