| basic | Initial revision | 1987-04-13 10:32:47 +00:00 | 
		
			
			
			
			
				| cem | fix blocks.c | 1987-08-03 14:40:49 +00:00 | 
		
			
			
			
			
				| m2 | fix: variable sets were handled wrong | 1987-08-03 18:20:55 +00:00 | 
		
			
			
			
			
				| occam | Initial revision | 1987-04-13 10:32:47 +00:00 | 
		
			
			
			
			
				| .distr | Initial revision | 1987-04-13 10:32:47 +00:00 |