[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] Why I cannot replace here

   I don't know why I can't make a replace in the following sequent:
I don't know either and I cannot investigate the problem. If you
really want somebody to look at it you have to make the sources
   The expanded sequent is the following
Sometimes the instantiations are different. To see _all_ of them
you have to do C-u M-x show-expanded-sequent.