Name                            Last modified       Size  Description

 Parent Directory                30-Sep-2003 17:08      -  
 axiomatic-semantics-030101.html 04-Mar-2001 17:32   175k  
 axiomatic-semantics-071601.html 20-Jul-2001 22:50   177k  
 axiomatic-semantics.html        04-Mar-2001 17:32   175k  
 daml+oil-ex-dt.xsd              10-Apr-2001 04:00     2k  
 daml+oil-ex.daml                03-May-2001 16:39    10k  
 daml+oil-index.html             15-Nov-2002 05:00     3k  
 daml+oil-walkthru.html          06-Apr-2001 04:00    53k  
 daml+oil.daml                   06-Jun-2001 01:38    16k  
 differences-daml+oil.html       28-Mar-2001 05:00     5k  
 dumpont/                        05-Nov-2003 20:18      -  
 model-theoretic-semantics.html  27-Mar-2001 23:32    15k  
 reference.html                  11-Apr-2001 19:52    48k