more on daml+oil.daml

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 09/29/01


While I'm at it,

I think that the fancy syntax for lists should be removed from
daml+oil.daml.

peter


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