Index of /pub/databases/deductive/coral/design

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 ASR_info                                 19-Dec-1996 08:03  6.3K  
 OverView                                 07-Feb-1995 00:00   13K  
 breakpoint                               05-Dec-1995 08:20  1.0K  
 client.README                            01-Dec-1994 00:00  5.3K  
 client_programmer_guide                  12-Oct-1994 00:00  2.9K  
 coral.impl.guide                         12-Oct-1994 00:00   16K  
 coralmsgs/                               17-Jan-1996 02:31    -   
 delete_tuples                            17-Oct-1995 15:15  3.6K  
 exodus/                                  23-May-1996 02:52    -   
 inside/                                  15-Oct-2008 12:12    -   
 make.doc                                 03-Feb-1995 00:00  1.9K  
 manual/                                  15-Oct-2008 12:12    -   
 name.chnge                               15-Mar-1995 00:00   34K  
 reef_info                                19-Dec-1996 08:06  4.9K  
 test.suite                               09-Jan-1995 00:00  3.7K  
 trash/                                   20-Dec-1996 02:11    -