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