D/Axioms//// D/ClassExpression//// D/Ontology//// D/Property//// D/daml_oil_2001_03//// D/list-syntax//// /test-add-0.daml/1.1/Thu Jul 24 15:30:31 2003/-kb/ /test-add-1.daml/1.1/Thu Jul 24 15:30:31 2003/-kb/ /test-cases.daml/1.4/Tue Dec 7 17:40:33 2004// /test-instance-load-classes.daml/1.1/Wed Jun 18 12:59:57 2003// /test-instance-load.daml/1.2/Thu Feb 10 11:07:42 2005//