fact: Axiom state1 : forall (b : bool) (s : Stream A), weak_eq Channel Act Trans Silent (SEND b s || ACKING (negb b)) (REPEAT s).
imports: ABP.ABP.BISIMULATION.Protocol ABP.ABP.BISIMULATION.Hypotheses ABP.ABP.BISIMULATION.Lemmas