Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 30-Sep-2003 17:03 -
![[TXT]](/icons/text.gif){kind=icon}
DAML-Ont-kif-axioms-001107.html 09-Nov-2000 06:57 107k
announcement.txt 12-Oct-2000 11:21 3k
![[ ]](/icons/unknown.gif){kind=icon}
daml-ex.daml 07-Oct-2000 02:21 3k
daml-num.daml 07-Oct-2000 02:21 2k
daml-oil.html 29-Mar-2001 21:30 4k
daml-ont 14-Nov-2000 06:23 11k
daml-ont.daml 14-Nov-2000 06:23 11k
daml-ont.html 03-Mar-2001 09:00 1k
daml-walkthru.html 17-Oct-2000 22:02 24k