Old DAML-Time Versions

This page provides access to old versions of DAML-Time.

Version 20020830

• Original text (29 Jul 2002)

• Text with axioms marked (and a couple of typos corrected)

• Full XML version (with XSL stylesheet)

• KIF/Lisp version of axioms

• Hobbs->KIF/Lisp translation code

• DAML version of axioms

• KIF/Lisp->DAML translation code