Index of /pub/databases/deductive/coral/doc

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 Inside.ps                                19-Nov-1996 05:57  177K  
 Interface                                13-May-1996 20:04   24K  
 Interface.swo                            28-May-1998 18:46  4.0K  
 Interface.swp                            28-May-1998 18:46    0   
 Interfacf.swp                            28-May-1998 18:46    0   
 bupeval.survey.ps                        23-Jan-1994 00:00  303K  
 coral.impl.ps                            20-Apr-1993 02:00  228K  
 coral.lang.old.ps                        18-Jan-1994 00:00  344K  
 coral.lang.ps                            27-Nov-1992 00:00  217K  
 coral.ps                                 18-Jan-1994 00:00  754K  
 coraldocs.tar.gz                         23-Jan-1994 00:00  1.5M  
 coralpp.ps                               08-Jun-1993 02:00  512K  
 explain.ps                               24-Sep-1993 02:00  506K  
 magic.ps                                 03-Oct-1994 14:40  353K  
 manual.ps                                17-Mar-1995 00:00  588K  
 manual.tex.tar.gz                        21-Feb-1995 00:00  263K  
 mimsy.ps                                 07-Oct-1993 00:00  354K  
 mimsy.thesis.ps                          04-Nov-1994 10:22  1.4M  
 ngopt.ps                                 23-Jan-1994 00:00  194K  
 old/                                     16-Jul-1995 02:09    -   
 ordsearch.ps                             23-Jan-1994 00:00  186K  
 parallelism.ps                           31-May-1994 12:02  547K  
 relevance.ps                             23-Jan-1994 00:00  219K  
 ruleord.ps                               25-Nov-1993 00:00  861K  
 tdvsbup.ps                               23-Jan-1994 00:00  220K  
 temp.ps.att                              21-Nov-1994 16:23  918K  
 template.ps                              03-Oct-1994 14:40  221K