Name                           Last modified       Size  Description

 Parent Directory               30-Sep-2003 17:03      -  
 axiomatic-semantics.html       19-Jan-2001 20:54   177k  
 changes.html                   11-Jan-2001 00:05     7k  
 changes.txt                    11-Jan-2001 00:05     4k  
 daml+oil-ex.daml               18-Jan-2001 05:00     5k  
 daml+oil-index.html            15-Nov-2002 05:00     2k  
 daml+oil-walkthru.html         18-Jan-2001 05:00    42k  
 daml+oil.daml                  26-Jan-2001 16:37    14k  
 differences-daml.html          11-Jan-2001 20:41     8k  
 differences-oil.html           11-Jan-2001 20:39     4k  
 differences.html               11-Jan-2001 00:05     3k  
 model-theoretic-semantics.html 18-Jan-2001 05:00     9k  
 reference.html                 18-Jan-2001 05:00    41k  
 semantics.html                 03-Jan-2001 18:45     8k  
 semantics.txt                  11-Jan-2001 00:05     5k