Next in thread → Next in month →

RE: Assertions, claims etc.

From: Phillip Hallam-Baker <>
Date: 2001-06-07T22:33:54+00:00
ID
Thread: RE: Assertions, claims etc.

With correction

> x:A /\ x:B
> ----------
> x:(A /\ B)
> 
> and
> 

The next one should of course have been:

 x:(A /\ B)
 ----------
 x:A /\ x:B


>

View original preserved HTML → View on OASIS Connected Community →

← Prev in month ← Prev in thread

Next in thread → Next in month →