Index of /publications/crude_operators

 Name                    Last modified       Size  Description

 Parent Directory        03-Mar-2003 17:17      -  
 Tanker2.jpg             09-Mar-2001 15:19     5k  
 chev.gif                09-Mar-2001 15:18     7k  
 crude1.html             30-Oct-2001 23:06     7k  
 crude10.html            30-Oct-2001 23:06    29k  
 crude11.html            30-Oct-2001 23:06    22k  
 crude12.html            30-Oct-2001 23:06    21k  
 crude13.html            30-Oct-2001 23:06     9k  
 crude14.html            30-Oct-2001 23:07     8k  
 crude15.html            30-Oct-2001 23:07    20k  
 crude2.html             30-Oct-2001 23:07    10k  
 crude3.html             30-Oct-2001 23:07     9k  
 crude4.html             30-Oct-2001 23:07    34k  
 crude5.html             30-Oct-2001 23:07    20k  
 crude6.html             30-Oct-2001 23:07    12k  
 crude7.html             30-Oct-2001 23:07    27k  
 crude8.html             30-Oct-2001 23:07    35k  
 crude9.html             30-Oct-2001 23:08    38k  
 crudelog.gif            09-Mar-2001 15:18     4k  
 cwslogw.gif             09-Mar-2001 15:18     1k  
 globe2.gif              09-Mar-2001 15:18     4k  
 graph1.gif              09-Mar-2001 15:18    15k  
 map.gif                 09-Mar-2001 15:19    69k  
 shellstk.gif            09-Mar-2001 15:19     4k