Changes from 2001-07-20 (Starter Document) to 2001-10-04

• What was the introduction section in the starter document is now a separate Introduction file.

• What was the "Large Aspect" in the starter document is now _mostly_ in the IFF Core (sub)Ontology file. The exception is that the "Large Orders" subsection of the starter document is now in the IFF Classification (sub)Ontology file.

• What was the Category Theory Ontology section in the starter document is now _mostly_ in the IFF Category Theory (sub)Ontology file. The exceptions are that the the "Namespace of Large Classifications" and the "Namespace of Large Concept Lattices" are now in the IFF Classification (sub)Ontology file.

• The "Large Aspect" has thus expanded and now includes:
  1. the IFF Core (sub)Ontology;
  2. the IFF Category Theory (sub)Ontology; and
  3. the IFF Classification (sub)Ontology.

• What was the model theory ontology section in the starter document is not currently covered by an updated document. We expect this document to be posted some time in the coming months.