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

Re: Strange problems

To: pvs@csl.sri.com
Subject: Re: Strange problems
From: Harald Ruess <ruess@csl.sri.com>
Date: Sat, 11 Mar 2000 00:41:29 -0800
CC: pvs@csl.sri.com
Delivery-Date: Sat Mar 11 00:42:03 2000
In-reply-to: <200003101204.OAA04180@kuovi.cs.tut.fi> (message from Kellom{kiPertti on Fri, 10 Mar 2000 14:04:54 +0200 (EET))
References: <200003101204.OAA04180@kuovi.cs.tut.fi>


Pertti:

 maybe it helps to investigate the structure of your
 proof sequent with the command Meta-X show-expanded-sequent
 to get a clearer picture about what is going on here.

--Harald

===========================================================================

   action_superposition.3.1.1.1.1 :  

   [-1]  sem(variable_assignments(role_of_object(ob!1, ra!1, roles(a!1)),
				  append(new_fields(ref!1), fields(a!1)),
				  append(new_assignments(ref!1), body(a!1))),
	     ra!1, b!1)
     |-------
   [1]   sem(variable_assignments(role_of_object(ob!1, ra!1, roles(a!1)),
				  append(new_fields(ref!1), fields(a!1)),
				  append(new_assignments(ref!1), body(a!1))),
	     ra!1, b!1)

Follow-Ups:

Re: Strange problems

From: Kellom{ki Pertti <pk@cs.tut.fi>

References:

Strange problems

From: Kellom{ki Pertti <pk@cs.tut.fi>

Prev by Date: Strange problems
Next by Date: Re: Strange problems
Prev by thread: Strange problems
Next by thread: Re: Strange problems
Index(es):
- Date
- Thread