| .distr | Initial revision | 1987-04-13 10:32:47 +00:00 | 
		
			
			
			
			
				| ca.c | did not handle HOL names right (null names) | 1987-07-29 10:43:43 +00:00 | 
		
			
			
			
			
				| ca.h | Added Rcs Id | 1987-03-10 11:49:39 +00:00 | 
		
			
			
			
			
				| ca_put.h | Added Rcs Id | 1987-03-10 11:49:39 +00:00 | 
		
			
			
			
			
				| Makefile | SHARE --> SHR | 1987-03-02 12:42:38 +00:00 |