DAML+OIL

daml+oil.daml            - daml+oil language specification with namespace bug-fixes
datatypes.html           - proposal for language extension to include concrete datatypes
semantics.html          - model-theoretic semantics covering the proposed language extension