Hi Roger,
This is a simple example to try to explain what I have now.
My current problem is bigger than that. I have a state with
many components. To load any operation over that state,
ProofPower takes a long time without response. Few months
ago, I sent a doc file to Rob Arthan and he suggested
Artur,
After my last post I remembered the previous conversation
and realised that you were reducing the width of your
schemas and then having a problem translating the
theta expressions in the original.
I've been a bit busier than usual so I didn't get
back. In fact I forgot.
To use a theta
