subject:"DIS\: Re\: BUS\: Re\: OFF\: \[Arbitor\] CFJ 3902 Assigned to Murphy"

Re: DIS: Re: BUS: Re: OFF: [Arbitor] CFJ 3902 Assigned to Murphy

2021-04-04 Thread Edward Murphy via agora-discussion

Falsifian wrote: I'm confused about a couple of things... Abstractly, the situation is as follows: * Just before time T, rule R had body B0 and revision number R0. * Document D alleges that, at time T, rule R had body B1 and revision number R1. * At time T+Y, document D is

DIS: Re: BUS: Re: OFF: [Arbitor] CFJ 3902 Assigned to Murphy

2021-03-30 Thread Falsifian via agora-discussion

I'm confused about a couple of things... > Abstractly, the situation is as follows: > > * Just before time T, rule R had body B0 and revision number R0. > > * Document D alleges that, at time T, rule R had body B1 and revision > number R1. > > * At time T+Y, document D is ratified.