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