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

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