Index of /pub/databases/deductive/coral

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 coral-1.5/                               15-Oct-2008 12:12    -   
 coral0.1/                                15-Oct-2008 12:13    -   
 coral1.0/                                15-Oct-2008 12:13    -   
 coral1.1/                                15-Oct-2008 12:12    -   
 coral1.2/                                15-Oct-2008 12:13    -   
 design/                                  20-Dec-1996 02:11    -   
 doc/                                     15-Oct-2008 12:12    -   
 file.listings                            14-Jul-1994 02:00   18K  
 minibase-2.0/                            16-Feb-1997 02:14    -   
 split/                                   28-Mar-1998 02:18    -   
 tmp/                                     15-Oct-2008 12:12    -