| basic | Initial revision | 1987-04-13 10:32:47 +00:00 | 
		
			
			
			
			
				| cem | catch possibly occurring trap with stores in the HP | 1988-04-11 12:51:22 +00:00 | 
		
			
			
			
			
				| m2 | better ORD, VAL, and CAP, and some other minor mods | 1988-04-12 09:19:06 +00:00 | 
		
			
			
			
			
				| occam | made to work | 1988-02-15 18:08:46 +00:00 | 
		
			
			
			
			
				| pc | don't generate HOL's of zero size | 1988-04-08 09:46:04 +00:00 | 
		
			
			
			
			
				| .distr | Added m2 | 1988-04-08 13:10:18 +00:00 |