canonical_implementation.vo canonical_implementation.glob canonical_implementation.v.beautified canonical_implementation.required_vo: canonical_implementation.v lib.vo structures.vo lts.vo clts.vo protocol.vo channel_complete.vo channel_compliant.vo run.vo closure_conditions.vo
channel_complete.vo channel_complete.glob channel_complete.v.beautified channel_complete.required_vo: channel_complete.v lib.vo structures.vo lts.vo clts.vo protocol.vo
channel_compliant.vo channel_compliant.glob channel_compliant.v.beautified channel_compliant.required_vo: channel_compliant.v lib.vo structures.vo lts.vo clts.vo protocol.vo channel_complete.vo
closure_conditions.vo closure_conditions.glob closure_conditions.v.beautified closure_conditions.required_vo: closure_conditions.v lib.vo structures.vo lts.vo clts.vo protocol.vo channel_complete.vo channel_compliant.vo run.vo
clts.vo clts.glob clts.v.beautified clts.required_vo: clts.v lib.vo structures.vo lts.vo
completeness.vo completeness.glob completeness.v.beautified completeness.required_vo: completeness.v lib.vo structures.vo clts.vo lts.vo channel_complete.vo channel_compliant.vo protocol.vo closure_conditions.vo run.vo nmc_completeness.vo rcc_completeness.vo scc_completeness.vo
lib.vo lib.glob lib.v.beautified lib.required_vo: lib.v 
lts.vo lts.glob lts.v.beautified lts.required_vo: lts.v lib.vo structures.vo
nmc_completeness.vo nmc_completeness.glob nmc_completeness.v.beautified nmc_completeness.required_vo: nmc_completeness.v lib.vo structures.vo clts.vo lts.vo channel_complete.vo channel_compliant.vo protocol.vo closure_conditions.vo run.vo
nmc_soundness.vo nmc_soundness.glob nmc_soundness.v.beautified nmc_soundness.required_vo: nmc_soundness.v lib.vo structures.vo lts.vo clts.vo channel_compliant.vo channel_complete.vo protocol.vo closure_conditions.vo run.vo canonical_implementation.vo
protocol.vo protocol.glob protocol.v.beautified protocol.required_vo: protocol.v lib.vo structures.vo lts.vo clts.vo
rcc_completeness.vo rcc_completeness.glob rcc_completeness.v.beautified rcc_completeness.required_vo: rcc_completeness.v lib.vo structures.vo clts.vo lts.vo channel_complete.vo channel_compliant.vo protocol.vo closure_conditions.vo run.vo nmc_completeness.vo
rcc_soundness.vo rcc_soundness.glob rcc_soundness.v.beautified rcc_soundness.required_vo: rcc_soundness.v lib.vo structures.vo lts.vo clts.vo channel_compliant.vo channel_complete.vo protocol.vo closure_conditions.vo run.vo canonical_implementation.vo nmc_soundness.vo
run.vo run.glob run.v.beautified run.required_vo: run.v lib.vo structures.vo lts.vo clts.vo protocol.vo channel_compliant.vo channel_complete.vo
scc_completeness.vo scc_completeness.glob scc_completeness.v.beautified scc_completeness.required_vo: scc_completeness.v lib.vo structures.vo clts.vo lts.vo channel_complete.vo channel_compliant.vo protocol.vo closure_conditions.vo run.vo nmc_completeness.vo
scc_soundness.vo scc_soundness.glob scc_soundness.v.beautified scc_soundness.required_vo: scc_soundness.v lib.vo structures.vo lts.vo clts.vo channel_compliant.vo channel_complete.vo protocol.vo closure_conditions.vo run.vo canonical_implementation.vo nmc_soundness.vo rcc_soundness.vo
soundness.vo soundness.glob soundness.v.beautified soundness.required_vo: soundness.v lib.vo structures.vo lts.vo clts.vo channel_compliant.vo channel_complete.vo protocol.vo closure_conditions.vo canonical_implementation.vo run.vo nmc_soundness.vo rcc_soundness.vo scc_soundness.vo
structures.vo structures.glob structures.v.beautified structures.required_vo: structures.v lib.vo
theorem.vo theorem.glob theorem.v.beautified theorem.required_vo: theorem.v lib.vo structures.vo clts.vo lts.vo channel_complete.vo channel_compliant.vo protocol.vo closure_conditions.vo run.vo soundness.vo completeness.vo
