updated FOL document

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 10/18/04

  • Next message: Mike Dean: "Joint Committee telecon today 19 October"
    I updated the FOL document, available, as usual, at
    Changes amount to:
    1/ adding a short discussion of the relationship to vanilla FOL
    2/ adding an XML Schema doc for the XML concrete syntax
    I also made a few minor changes elsewhere.

    This archive was generated by hypermail 2.1.4 : 10/18/04 EST