| 
						
					 | 
					
						
						
							
						
						30f1ad612d
	
				 
					 | 
					
						
						
							
							Typo fix (Koreans)
						
						
						
						
						
						
					 | 
					
						2024-06-07 14:54:31 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8bf5c71aa8
	
				 
					 | 
					
						
						
							
							Merge branch 'master' of ssh://git.betalupi.com:33/Mark/ormc-handouts
						
						
						
						
						
						
					 | 
					
						2024-05-25 10:11:10 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						04057b0bf9
	
				 
					 | 
					
						
						
							
							Edits
						
						
						
						
						
						
					 | 
					
						2024-05-25 10:10:55 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fc2a66f027
					 | 
					
						
						
							
							Added starred
						
						
						
						
						
						
					 | 
					
						2024-05-24 23:36:55 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f7eb30a916
					 | 
					
						
						
							
							Minor edits
						
						
						
						
						
						
					 | 
					
						2024-05-23 12:40:43 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						17e019fd02
	
				 
					 | 
					
						
						
							
							Added URL to all handouts
						
						
						
						
						
						
					 | 
					
						2024-04-01 21:50:50 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b6ae87b971
	
				 
					 | 
					
						
						
							
							Minor edit
						
						
						
						
						
						
					 | 
					
						2024-03-08 10:17:26 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6a5e02a8ac
	
				 
					 | 
					
						
						
							
							Typos
						
						
						
						
						
						
					 | 
					
						2023-12-09 18:17:22 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						07f5ad404c
					 | 
					
						
						
							
							Added clickable link to subtitle
						
						
						
						
						
						
					 | 
					
						2023-10-17 18:32:10 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						26c26b17bf
	
				 
					 | 
					
						
						
							
							Handout edits
						
						
						
						
						
						
					 | 
					
						2023-08-02 13:11:14 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3c45ad0e95
	
				 
					 | 
					
						
						
							
							Typos
						
						
						
						
						
						
					 | 
					
						2023-07-27 18:58:45 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2e380a3f3b
	
				 
					 | 
					
						
						
							
							Cleanup
						
						
						
						
						
						
					 | 
					
						2023-07-26 17:55:07 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						cb80d5be96
	
				 
					 | 
					
						
						
							
							Added equivalence problems
						
						
						
						
						
						
					 | 
					
						2023-06-19 20:24:33 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						83b273fbd3
					 | 
					
						
						
							
							Transition to new format
						
						
						
						
						
						
					 | 
					
						2023-05-25 21:44:07 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						a81f3789eb
					 | 
					
						
						
							
							Added a note
						
						
						
						
						
						
					 | 
					
						2023-05-18 21:13:25 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						fbc77eea1b
					 | 
					
						
						
							
							Minor edits
						
						
						
						
						
						
					 | 
					
						2023-05-14 20:15:46 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						47de89c2c4
					 | 
					
						
						
							
							Post-class edits
						
						
						
						
						
						
					 | 
					
						2023-05-14 19:49:13 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						8692eaa14a
					 | 
					
						
						
							
							Edits
						
						
						
						
						
						
					 | 
					
						2023-05-11 21:34:11 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b0c9969072
					 | 
					
						
						
							
							Edits
						
						
						
						
						
						
					 | 
					
						2023-05-11 20:05:02 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						6ea7e9df97
					 | 
					
						
						
							
							Edits
						
						
						
						
						
						
					 | 
					
						2023-05-11 14:54:18 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						90fd1e6ee1
					 | 
					
						
						
							
							Edits
						
						
						
						
						
						
					 | 
					
						2023-05-09 21:23:09 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3b197b0759
					 | 
					
						
						
							
							Added
						
						
						
						
						
						
					 | 
					
						2023-05-06 21:30:18 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						62fc066e69
					 | 
					
						
						
							
							Started definable sets handout
						
						
						
						
						
						
					 | 
					
						2023-05-06 17:05:30 -07:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |