[Rodin-b-sharp-user] Very strange behaviour

[Ken R. <ke...@cs...>]

Hello everyone,

I will be grateful for any insights into a very strange problem I am  
having at the moment.

A bit of history.

I installed 1.1-RC and had some very strange problems, which may be  
the subject of another inquiry in the future.

I restored my old WS and am discharging some POs that have been  
discharged in the past.

Here's the problematic case: