Alexander Iljin
							
						 | 
						
							
							
							
							
								
							
								2ffa446f5b
								
							
								
							
						 | 
						
							
							
								
								*-docs: replace double spaces with single spaces
							
							
							
							
							
							
							
							Code examples and other places where multiple spaces were used to align
text were left intact. 
							
						 | 
						
							2017-06-05 13:16:07 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								e7a42b1dc4
								
							
								
							
						 | 
						
							
							
								
								sets: rename unordered-set back to set.
							
							
							
							
							
						 | 
						
							2016-03-29 15:46:29 -07:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								e4f5035257
								
							
								
							
						 | 
						
							
							
								
								extra: fix sets rename
							
							
							
							
							
						 | 
						
							2015-08-12 13:58:20 -05:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								64a1b15d4b
								
							
								
							
						 | 
						
							
							
								
								sets.extras: adding symmetric-diff and proper-subset?.
							
							
							
							
							
						 | 
						
							2013-04-09 10:37:50 -07:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								cadde9117c
								
							
								
							
						 | 
						
							
							
								
								sets.extras: Initial checkin. Add setwise-xor word like setxor1d in numpy.
							
							
							
							
							
						 | 
						
							2013-03-06 10:00:13 -08:00 |