Index of /pub/databases/deductive/coral/coral1.2

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 install.chap                             18-Mar-1995 15:38   16K  
 coral.1.2.sun4bin.tar.gz                 28-Apr-1995 18:20  4.0M  
 coral.1.2.lnxbin.tar.gz                  21-Jun-1995 12:07  3.9M  
 coral.1.2.hpbin.tar.gz                   28-Jul-1995 17:25  5.2M  
 coral.1.2.nobin.tar.gz                   28-Jul-1995 17:25  2.2M  
 mipsbin.info                             29-Feb-1996 08:18  171   
 coral.1.2.split/                         23-May-1996 02:51    -