6 Mar
1992
6 Mar
'92
1:26 a.m.
I don't much like the locally as suggested by Walter, but it is probably too late to do much about it. I prefer multi-adjoint. Locally P means that P holds in every slice. Mike =====================================================================