Re: Joint Committee telecon today 24 July

From: Peter F. Patel-Schneider ([email protected])
Date: 07/24/01

Next message: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Previous message: Dan Connolly: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
In reply to: Mike Dean: "Joint Committee telecon today 24 July"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

From: Mike Dean <[email protected]>
Subject: Joint Committee telecon today 24 July
Date: Tue, 24 Jul 2001 08:02:26 -0400

> announcements
> 
>   Deb and Richard provided a new version of the DAML+OIL
>   axiomatic semantics last week.  See [1].

Is there a diff between the old and the new versions?  A rationale for any
changes would also be useful.

peter

Next message: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Previous message: Dan Connolly: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
In reply to: Mike Dean: "Joint Committee telecon today 24 July"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST