Index of /courses/2003/spring/cs60/correctness_files

	Name	Last modified	Size	Description
	Parent Directory		-
	Slide0001.gif	2003-01-17 00:20	4.2K
	Slide0002.gif	2003-01-17 00:20	9.3K
	Slide0003.gif	2003-01-17 00:20	6.9K
	Slide0004.gif	2003-01-17 00:20	7.4K
	Slide0005.gif	2003-01-17 00:20	7.5K
	Slide0006.gif	2003-01-17 00:20	9.0K
	Slide0007.gif	2003-01-17 00:20	8.5K
	Slide0008.gif	2003-01-17 00:20	8.2K
	Slide0009.gif	2003-01-17 00:20	4.4K
	Slide0010.gif	2003-01-17 00:20	4.3K
	Slide0011.gif	2003-01-17 00:20	7.7K
	Slide0012.gif	2003-01-17 00:20	5.0K
	Slide0013.gif	2003-01-17 00:20	4.8K
	Slide0014.gif	2003-01-17 00:20	77K
	Slide0015.gif	2003-01-17 00:20	6.1K
	Slide0016.gif	2003-01-17 00:20	6.6K
	Slide0017.gif	2003-01-17 00:20	6.7K
	Slide0018.gif	2003-01-17 00:20	4.7K
	Slide0019.gif	2003-01-17 00:20	6.6K
	Slide0020.gif	2003-01-17 00:20	7.0K
	Slide0021.gif	2003-01-17 00:20	8.1K
	Slide0022.gif	2003-01-17 00:20	6.5K
	Slide0023.gif	2003-01-17 00:20	8.1K
	Slide0024.gif	2003-01-17 00:20	4.4K
	Slide0025.gif	2003-01-17 00:20	5.8K
	Slide0026.gif	2003-01-17 00:20	6.6K
	Slide0027.gif	2003-01-17 00:20	4.6K
	Slide0028.gif	2003-01-17 00:20	6.5K
	Slide0029.gif	2003-01-17 00:20	8.1K
	Slide0030.gif	2003-01-17 00:20	5.9K
	Slide0031.gif	2003-01-17 00:20	6.3K
	Slide0032.gif	2003-01-17 00:20	6.5K
	Slide0033.gif	2003-01-17 00:20	7.4K
	Slide0034.gif	2003-01-17 00:20	7.4K
	Slide0035.gif	2003-01-17 00:20	7.4K
	Slide0036.gif	2003-01-17 00:20	9.8K
	Slide0037.gif	2003-01-17 00:21	6.9K
	Slide0038.gif	2003-01-17 00:21	7.8K
	Slide0039.gif	2003-01-17 00:21	9.6K
	Slide0040.gif	2003-01-17 00:21	6.1K
	Slide0041.gif	2003-01-17 00:21	9.0K
	Slide0042.gif	2003-01-17 00:21	9.2K
	Slide0043.gif	2003-01-17 00:21	5.3K
	Slide0044.gif	2003-01-17 00:21	9.1K
	Slide0045.gif	2003-01-17 00:21	5.0K
	Slide0046.gif	2003-01-17 00:21	6.6K
	Slide0047.gif	2003-01-17 00:21	6.9K
	Slide0048.gif	2003-01-17 00:21	10K
	Slide0049.gif	2003-01-17 00:21	7.2K
	Slide0050.gif	2003-01-17 00:21	7.0K
	blank_notes.htm	2003-01-17 00:20	450
	correctness.ppt	2003-01-17 00:20	804K
	endshow.htm	2003-01-17 00:20	473
	error.htm	2003-01-17 00:20	622
	filelist.xml	2003-01-17 00:20	7.6K
	frame.htm	2003-01-17 00:20	1.4K
	fs_navigation_bar.htm	2003-01-17 00:20	3.2K
	fullscr.gif	2003-01-17 00:20	1.0K
	fullscrClose.gif	2003-01-17 00:20	1.0K
	fullscreen.htm	2003-01-17 00:20	1.5K
	master02.htm	2003-01-17 00:20	710
	master03.htm	2003-01-17 00:20	710
	master03_image001.gif	2003-01-17 00:20	474
	master03_stylesheet.css	2003-01-17 00:20	5.4K
	narration.gif	2003-01-17 00:20	1.1K
	navbg.gif	2003-01-17 00:20	80
	navigation_bar.htm	2003-01-17 00:20	3.2K
	next_active.gif	2003-01-17 00:20	1.0K
	next_disabled.gif	2003-01-17 00:20	906
	notes_flag.gif	2003-01-17 00:20	1.0K
	outline.gif	2003-01-17 00:20	1.0K
	outline_collapse.gif	2003-01-17 00:20	1.0K
	outline_collapsed.htm	2003-01-17 00:20	17K
	outline_expand.gif	2003-01-17 00:20	1.0K
	outline_expanded.htm	2003-01-17 00:20	46K
	outline_navigation_b..>	2003-01-17 00:20	1.8K
	prev_active.gif	2003-01-17 00:20	1.0K
	prev_disabled.gif	2003-01-17 00:20	913
	script.js	2003-01-17 00:20	42K
	slide0001.htm	2003-01-17 00:20	2.7K
	slide0002.htm	2003-01-17 00:20	5.1K
	slide0003.htm	2003-01-17 00:20	4.5K
	slide0004.htm	2003-01-17 00:20	3.3K
	slide0005.htm	2003-01-17 00:20	6.1K
	slide0005_image002.gif	2003-01-17 00:20	623
	slide0006.htm	2003-01-17 00:20	6.1K
	slide0006_image002.gif	2003-01-17 00:21	585
	slide0007.htm	2003-01-17 00:20	6.4K
	slide0008.htm	2003-01-17 00:20	4.8K
	slide0009.htm	2003-01-17 00:20	5.4K
	slide0009_image003.gif	2003-01-17 00:20	227
	slide0009_image004.gif	2003-01-17 00:20	235
	slide0010.htm	2003-01-17 00:20	6.1K
	slide0011.htm	2003-01-17 00:20	5.8K
	slide0012.htm	2003-01-17 00:20	3.2K
	slide0013.htm	2003-01-17 00:20	3.1K
	slide0014.htm	2003-01-17 00:20	1.9K
	slide0014_image003.gif	2003-01-17 00:21	31K
	slide0014_image004.gif	2003-01-17 00:21	41K
	slide0015.htm	2003-01-17 00:20	4.0K
	slide0015_image005.gif	2003-01-17 00:21	243
	slide0016.htm	2003-01-17 00:20	6.9K
	slide0017.htm	2003-01-17 00:20	8.4K
	slide0017_image005.gif	2003-01-17 00:21	244
	slide0018.htm	2003-01-17 00:20	3.3K
	slide0018_image005.gif	2003-01-17 00:20	235
	slide0018_image006.gif	2003-01-17 00:20	250
	slide0019.htm	2003-01-17 00:20	3.6K
	slide0019_image007.gif	2003-01-17 00:20	234
	slide0019_image008.gif	2003-01-17 00:20	250
	slide0020.htm	2003-01-17 00:20	7.3K
	slide0020_image009.gif	2003-01-17 00:20	645
	slide0021.htm	2003-01-17 00:20	4.0K
	slide0021_image010.gif	2003-01-17 00:20	227
	slide0021_image011.gif	2003-01-17 00:20	236
	slide0021_image012.gif	2003-01-17 00:20	540
	slide0021_image013.gif	2003-01-17 00:20	541
	slide0022.htm	2003-01-17 00:20	4.7K
	slide0022_image014.gif	2003-01-17 00:20	227
	slide0022_image015.gif	2003-01-17 00:20	236
	slide0022_image016.gif	2003-01-17 00:20	282
	slide0023.htm	2003-01-17 00:20	4.7K
	slide0023_image017.gif	2003-01-17 00:20	227
	slide0023_image018.gif	2003-01-17 00:20	237
	slide0023_image019.gif	2003-01-17 00:20	318
	slide0023_image020.gif	2003-01-17 00:20	260
	slide0024.htm	2003-01-17 00:20	5.5K
	slide0024_image021.gif	2003-01-17 00:20	227
	slide0024_image022.gif	2003-01-17 00:20	237
	slide0024_image023.gif	2003-01-17 00:20	278
	slide0024_image024.gif	2003-01-17 00:20	260
	slide0024_image025.gif	2003-01-17 00:20	318
	slide0025.htm	2003-01-17 00:20	3.9K
	slide0025_image026.gif	2003-01-17 00:20	227
	slide0025_image027.gif	2003-01-17 00:20	236
	slide0025_image028.gif	2003-01-17 00:20	278
	slide0025_image029.gif	2003-01-17 00:20	237
	slide0025_image030.gif	2003-01-17 00:20	381
	slide0025_image031.gif	2003-01-17 00:20	260
	slide0025_image032.gif	2003-01-17 00:20	318
	slide0026.htm	2003-01-17 00:20	6.8K
	slide0026_image006.gif	2003-01-17 00:21	645
	slide0026_image033.gif	2003-01-17 00:20	227
	slide0026_image034.gif	2003-01-17 00:20	237
	slide0026_image035.gif	2003-01-17 00:20	278
	slide0026_image036.gif	2003-01-17 00:20	236
	slide0026_image037.gif	2003-01-17 00:20	235
	slide0026_image038.gif	2003-01-17 00:20	260
	slide0026_image039.gif	2003-01-17 00:20	318
	slide0027.htm	2003-01-17 00:20	4.0K
	slide0027_image007.gif	2003-01-17 00:21	540
	slide0027_image008.gif	2003-01-17 00:21	541
	slide0027_image040.gif	2003-01-17 00:20	227
	slide0027_image041.gif	2003-01-17 00:20	237
	slide0027_image042.gif	2003-01-17 00:20	237
	slide0027_image043.gif	2003-01-17 00:20	235
	slide0027_image044.gif	2003-01-17 00:20	1.3K
	slide0027_image045.gif	2003-01-17 00:20	318
	slide0028.htm	2003-01-17 00:20	4.7K
	slide0028_image006.gif	2003-01-17 00:21	645
	slide0028_image009.gif	2003-01-17 00:21	227
	slide0028_image010.gif	2003-01-17 00:21	236
	slide0028_image011.gif	2003-01-17 00:21	282
	slide0028_image046.gif	2003-01-17 00:20	852
	slide0029.htm	2003-01-17 00:20	7.3K
	slide0029_image007.gif	2003-01-17 00:21	540
	slide0029_image008.gif	2003-01-17 00:21	541
	slide0029_image012.gif	2003-01-17 00:21	227
	slide0029_image013.gif	2003-01-17 00:21	237
	slide0029_image014.gif	2003-01-17 00:21	318
	slide0029_image015.gif	2003-01-17 00:21	260
	slide0029_image047.gif	2003-01-17 00:20	852
	slide0030.htm	2003-01-17 00:20	6.2K
	slide0030_image009.gif	2003-01-17 00:21	227
	slide0030_image010.gif	2003-01-17 00:21	236
	slide0030_image011.gif	2003-01-17 00:21	282
	slide0030_image016.gif	2003-01-17 00:21	227
	slide0030_image017.gif	2003-01-17 00:21	237
	slide0030_image018.gif	2003-01-17 00:21	278
	slide0030_image019.gif	2003-01-17 00:21	260
	slide0030_image020.gif	2003-01-17 00:21	318
	slide0030_image048.gif	2003-01-17 00:20	318
	slide0030_image049.gif	2003-01-17 00:20	317
	slide0031.htm	2003-01-17 00:20	6.4K
	slide0031_image012.gif	2003-01-17 00:21	227
	slide0031_image013.gif	2003-01-17 00:21	237
	slide0031_image014.gif	2003-01-17 00:21	318
	slide0031_image015.gif	2003-01-17 00:21	260
	slide0031_image021.gif	2003-01-17 00:21	227
	slide0031_image022.gif	2003-01-17 00:21	236
	slide0031_image023.gif	2003-01-17 00:21	278
	slide0031_image024.gif	2003-01-17 00:21	237
	slide0031_image025.gif	2003-01-17 00:21	381
	slide0031_image026.gif	2003-01-17 00:21	260
	slide0031_image027.gif	2003-01-17 00:21	318
	slide0031_image050.gif	2003-01-17 00:20	484
	slide0031_image051.gif	2003-01-17 00:20	318
	slide0032.htm	2003-01-17 00:20	6.7K
	slide0032_image016.gif	2003-01-17 00:21	227
	slide0032_image017.gif	2003-01-17 00:21	237
	slide0032_image018.gif	2003-01-17 00:21	278
	slide0032_image019.gif	2003-01-17 00:21	260
	slide0032_image020.gif	2003-01-17 00:21	318
	slide0032_image028.gif	2003-01-17 00:21	227
	slide0032_image029.gif	2003-01-17 00:21	237
	slide0032_image030.gif	2003-01-17 00:21	278
	slide0032_image031.gif	2003-01-17 00:21	236
	slide0032_image032.gif	2003-01-17 00:21	235
	slide0032_image033.gif	2003-01-17 00:21	260
	slide0032_image034.gif	2003-01-17 00:21	318
	slide0032_image052.gif	2003-01-17 00:20	947
	slide0032_image053.gif	2003-01-17 00:20	318
	slide0032_image054.gif	2003-01-17 00:20	318
	slide0033.htm	2003-01-17 00:20	7.3K
	slide0033_image021.gif	2003-01-17 00:21	227
	slide0033_image022.gif	2003-01-17 00:21	236
	slide0033_image023.gif	2003-01-17 00:21	278
	slide0033_image024.gif	2003-01-17 00:21	237
	slide0033_image025.gif	2003-01-17 00:21	381
	slide0033_image026.gif	2003-01-17 00:21	260
	slide0033_image027.gif	2003-01-17 00:21	318
	slide0033_image035.gif	2003-01-17 00:21	227
	slide0033_image036.gif	2003-01-17 00:21	237
	slide0033_image037.gif	2003-01-17 00:21	237
	slide0033_image038.gif	2003-01-17 00:21	235
	slide0033_image039.gif	2003-01-17 00:21	260
	slide0033_image040.gif	2003-01-17 00:21	318
	slide0033_image055.gif	2003-01-17 00:20	237
	slide0033_image056.gif	2003-01-17 00:20	369
	slide0033_image057.gif	2003-01-17 00:20	211
	slide0033_image058.gif	2003-01-17 00:20	237
	slide0034.htm	2003-01-17 00:20	7.5K
	slide0034_image028.gif	2003-01-17 00:21	227
	slide0034_image029.gif	2003-01-17 00:21	237
	slide0034_image030.gif	2003-01-17 00:21	278
	slide0034_image031.gif	2003-01-17 00:21	236
	slide0034_image032.gif	2003-01-17 00:21	235
	slide0034_image033.gif	2003-01-17 00:21	260
	slide0034_image034.gif	2003-01-17 00:21	318
	slide0034_image041.gif	2003-01-17 00:21	865
	slide0034_image059.gif	2003-01-17 00:20	237
	slide0034_image060.gif	2003-01-17 00:20	386
	slide0034_image061.gif	2003-01-17 00:20	668
	slide0034_image062.gif	2003-01-17 00:20	318
	slide0034_image063.gif	2003-01-17 00:20	249
	slide0035.htm	2003-01-17 00:20	8.4K
	slide0035_image035.gif	2003-01-17 00:21	237
	slide0035_image036.gif	2003-01-17 00:21	430
	slide0035_image042.gif	2003-01-17 00:21	318
	slide0035_image043.gif	2003-01-17 00:21	317
	slide0035_image064.gif	2003-01-17 00:20	235
	slide0035_image065.gif	2003-01-17 00:20	420
	slide0035_image066.gif	2003-01-17 00:20	237
	slide0035_image067.gif	2003-01-17 00:20	318
	slide0035_image068.gif	2003-01-17 00:20	287
	slide0036.htm	2003-01-17 00:20	4.9K
	slide0036_image037.gif	2003-01-17 00:21	865
	slide0036_image044.gif	2003-01-17 00:21	484
	slide0036_image045.gif	2003-01-17 00:21	318
	slide0037.htm	2003-01-17 00:20	5.4K
	slide0037_image038.gif	2003-01-17 00:21	245
	slide0037_image046.gif	2003-01-17 00:21	947
	slide0037_image047.gif	2003-01-17 00:21	318
	slide0037_image048.gif	2003-01-17 00:21	318
	slide0038.htm	2003-01-17 00:20	5.0K
	slide0038_image039.gif	2003-01-17 00:21	484
	slide0038_image049.gif	2003-01-17 00:21	237
	slide0038_image050.gif	2003-01-17 00:21	369
	slide0038_image051.gif	2003-01-17 00:21	211
	slide0038_image052.gif	2003-01-17 00:21	237
	slide0039.htm	2003-01-17 00:20	6.5K
	slide0039_image040.gif	2003-01-17 00:21	902
	slide0039_image053.gif	2003-01-17 00:21	237
	slide0039_image054.gif	2003-01-17 00:21	386
	slide0039_image055.gif	2003-01-17 00:21	668
	slide0039_image056.gif	2003-01-17 00:21	318
	slide0039_image057.gif	2003-01-17 00:21	249
	slide0040.htm	2003-01-17 00:20	5.7K
	slide0040_image041.gif	2003-01-17 00:21	369
	slide0040_image058.gif	2003-01-17 00:21	235
	slide0040_image059.gif	2003-01-17 00:21	420
	slide0040_image060.gif	2003-01-17 00:21	237
	slide0040_image061.gif	2003-01-17 00:21	318
	slide0040_image062.gif	2003-01-17 00:21	287
	slide0041.htm	2003-01-17 00:20	6.4K
	slide0041_image042.gif	2003-01-17 00:21	386
	slide0041_image043.gif	2003-01-17 00:21	714
	slide0041_image044.gif	2003-01-17 00:21	156
	slide0041_image045.gif	2003-01-17 00:21	248
	slide0042.htm	2003-01-17 00:20	6.2K
	slide0042_image046.gif	2003-01-17 00:21	235
	slide0042_image047.gif	2003-01-17 00:21	237
	slide0042_image048.gif	2003-01-17 00:21	296
	slide0043.htm	2003-01-17 00:20	3.4K
	slide0044.htm	2003-01-17 00:20	4.8K
	slide0045.htm	2003-01-17 00:20	5.4K
	slide0046.htm	2003-01-17 00:20	5.4K
	slide0047.htm	2003-01-17 00:20	5.9K
	slide0048.htm	2003-01-17 00:20	7.0K
	slide0049.htm	2003-01-17 00:20	4.1K
	slide0050.htm	2003-01-17 00:20	4.2K
	slide0051.htm	2003-01-17 00:20	5.3K
	slide0052.htm	2003-01-17 00:20	11K
	slide0053.htm	2003-01-17 00:20	8.8K
	slide0054.htm	2003-01-17 00:20	6.7K
	slide0055.htm	2003-01-17 00:20	12K
	slide0056.htm	2003-01-17 00:20	12K
	slide0057.htm	2003-01-17 00:20	12K
	slide0058.htm	2003-01-17 00:20	11K
	slide0059.htm	2003-01-17 00:20	11K
	slide0060.htm	2003-01-17 00:21	13K
	slide0061.htm	2003-01-17 00:21	12K
	slide0062.htm	2003-01-17 00:21	6.2K
	slide0063.htm	2003-01-17 00:21	6.1K
	slide0064.htm	2003-01-17 00:21	3.5K
	slide0065.htm	2003-01-17 00:21	9.2K
	slide0066.htm	2003-01-17 00:21	12K
	slide0067.htm	2003-01-17 00:21	14K
	slide0068.htm	2003-01-17 00:21	6.5K
	slide0069.htm	2003-01-17 00:21	8.2K
	slide0070.htm	2003-01-17 00:21	13K
	slide0071.htm	2003-01-17 00:21	8.7K
	slide0072.htm	2003-01-17 00:21	10K
	slide0073.htm	2003-01-17 00:21	8.7K
	slide0074.htm	2003-01-17 00:21	10K
	slide0075.htm	2003-01-17 00:21	8.6K
	slide0076.htm	2003-01-17 00:21	14K
	slide0077.htm	2003-01-17 00:21	8.4K
	slide0078.htm	2003-01-17 00:21	9.9K
	slide0079.htm	2003-01-17 00:21	14K
	slide0080.htm	2003-01-17 00:21	12K
	slide0081.htm	2003-01-17 00:21	12K
	slide0082.htm	2003-01-17 00:21	13K
	slide0083.htm	2003-01-17 00:21	15K
	slide0084.htm	2003-01-17 00:21	14K
	slide0085.htm	2003-01-17 00:21	14K
	slide0086.htm	2003-01-17 00:21	9.4K
	slide0087.htm	2003-01-17 00:21	9.4K
	slide0088.htm	2003-01-17 00:21	9.8K
	slide0089.htm	2003-01-17 00:21	12K
	slide0090.htm	2003-01-17 00:21	9.7K
	slide0091.htm	2003-01-17 00:21	13K
	slide0092.htm	2003-01-17 00:21	13K
	slide0093.htm	2003-01-17 00:21	6.6K
	slide0094.htm	2003-01-17 00:21	11K
	slide0095.htm	2003-01-17 00:21	11K
	slide0096.htm	2003-01-17 00:21	9.7K
	slide0097.htm	2003-01-17 00:21	11K
	slide0098.htm	2003-01-17 00:21	12K
	slide0099.htm	2003-01-17 00:21	7.9K
	slide0100.htm	2003-01-17 00:21	7.9K
	slide0101.htm	2003-01-17 00:21	1.6K
	slide0102.htm	2003-01-17 00:21	1.6K
	slide0103.htm	2003-01-17 00:21	1.6K
	slide0104.htm	2003-01-17 00:21	1.6K
	slide0105.htm	2003-01-17 00:21	1.6K
	slide0106.htm	2003-01-17 00:21	1.6K
	slide0107.htm	2003-01-17 00:21	1.6K
	slide0108.htm	2003-01-17 00:21	1.6K
	slide0109.htm	2003-01-17 00:21	1.5K
	slide0110.htm	2003-01-17 00:21	1.6K
	slide0111.htm	2003-01-17 00:21	1.6K
	slide0112.htm	2003-01-17 00:21	1.6K
	slide0113.htm	2003-01-17 00:21	1.5K
	slide0114.htm	2003-01-17 00:21	1.5K
	slide0115.htm	2003-01-17 00:21	1.6K
	slide0116.htm	2003-01-17 00:21	1.6K
	slide0117.htm	2003-01-17 00:21	1.6K
	slide0118.htm	2003-01-17 00:21	1.6K
	slide0119.htm	2003-01-17 00:21	1.6K
	slide0120.htm	2003-01-17 00:21	1.6K
	slide0121.htm	2003-01-17 00:21	1.6K
	slide0122.htm	2003-01-17 00:21	1.6K
	slide0123.htm	2003-01-17 00:21	1.6K
	slide0124.htm	2003-01-17 00:21	1.6K
	slide0125.htm	2003-01-17 00:21	1.5K
	slide0126.htm	2003-01-17 00:21	1.6K
	slide0127.htm	2003-01-17 00:21	1.5K
	slide0128.htm	2003-01-17 00:21	1.5K
	slide0129.htm	2003-01-17 00:21	1.6K
	slide0130.htm	2003-01-17 00:21	1.6K
	slide0131.htm	2003-01-17 00:21	1.6K
	slide0132.htm	2003-01-17 00:21	1.6K
	slide0133.htm	2003-01-17 00:21	1.6K
	slide0134.htm	2003-01-17 00:21	1.6K
	slide0135.htm	2003-01-17 00:21	1.6K
	slide0136.htm	2003-01-17 00:21	1.6K
	slide0137.htm	2003-01-17 00:21	1.6K
	slide0138.htm	2003-01-17 00:21	1.6K
	slide0139.htm	2003-01-17 00:21	1.6K
	slide0140.htm	2003-01-17 00:21	1.6K
	slide0141.htm	2003-01-17 00:21	1.6K
	slide0142.htm	2003-01-17 00:21	1.6K
	slide0143.htm	2003-01-17 00:21	1.5K
	slide0144.htm	2003-01-17 00:21	1.6K
	slide0145.htm	2003-01-17 00:21	1.6K
	slide0146.htm	2003-01-17 00:21	1.6K
	slide0147.htm	2003-01-17 00:21	1.6K
	slide0148.htm	2003-01-17 00:21	1.6K
	slide0149.htm	2003-01-17 00:21	1.7K
	slide0150.htm	2003-01-17 00:21	1.5K
	space.gif	2003-01-17 00:20	807