Index of /~dpierce/papers/discrete

	Name	Last modified	Size	Description
	Parent Directory		-
	counting.ps	28-Mar-2002 12:29	468K
	propos.ps	28-Mar-2002 12:30	447K
	counting.pdf	28-Mar-2002 12:29	245K
	propos.pdf	28-Mar-2002 12:30	240K
	induct-exer.ps	28-Mar-2002 12:30	140K
	propos.dvi	28-Mar-2002 12:30	104K
	counting.dvi	28-Mar-2002 12:29	97K
	induct-exer.pdf	28-Mar-2002 12:30	83K
	set-exer.ps	28-Mar-2002 12:30	79K
	exami.ps	28-Mar-2002 12:30	75K
	counting.tex	28-Mar-2002 12:29	67K
	counting.tex.bak	28-Mar-2002 12:29	67K
	exami.pdf	28-Mar-2002 12:30	65K
	propos.tex	28-Mar-2002 12:30	60K
	propos.tex.bak	28-Mar-2002 12:30	60K
	set-exer.pdf	28-Mar-2002 12:30	47K
	WS_FTP.LOG	28-Mar-2002 12:30	19K
	predicate.tex.bak	28-Mar-2002 12:30	14K
	predicate.tex	28-Mar-2002 12:30	14K
	language.dvi	28-Mar-2002 12:30	13K
	propos.log	28-Mar-2002 12:30	12K
	language.tex	28-Mar-2002 12:30	9.6K
	final.dvi	28-Mar-2002 12:30	9.3K
	induct-exer.dvi	28-Mar-2002 12:30	9.1K
	exami.dvi	28-Mar-2002 12:29	8.8K
	examialt.dvi	28-Mar-2002 12:30	8.8K
	language.tex.bak	28-Mar-2002 12:30	8.0K
	induct-exer.tex.bak	28-Mar-2002 12:30	7.6K
	ord-exer.tex.bak	28-Mar-2002 12:30	7.6K
	induct-exer.tex	28-Mar-2002 12:30	7.6K
	finalalt.dvi	28-Mar-2002 12:30	6.9K
	examiiinotes.dvi	28-Mar-2002 12:30	6.8K
	finalalt.tex.bak	28-Mar-2002 12:30	6.4K
	final.tex	28-Mar-2002 12:30	6.4K
	examiiialt.dvi	28-Mar-2002 12:30	6.4K
	final.tex.bak	28-Mar-2002 12:30	6.2K
	ord-exer.dvi	28-Mar-2002 12:30	6.0K
	ord-exer.tex	28-Mar-2002 12:30	5.8K
	finalalt.tex	28-Mar-2002 12:30	5.1K
	outline.dvi	28-Mar-2002 12:30	5.1K
	set-exer.dvi	28-Mar-2002 12:30	5.0K
	counting.log	28-Mar-2002 12:29	4.9K
	examiiialt2.dvi	28-Mar-2002 12:30	4.8K
	examiiialt2.tex.bak	28-Mar-2002 12:30	4.7K
	examiiialt.tex	28-Mar-2002 12:30	4.7K
	examiinotes.dvi	28-Mar-2002 12:30	4.7K
	examiiinotes.tex	28-Mar-2002 12:30	4.5K
	examiiialt.tex.bak	28-Mar-2002 12:30	4.5K
	ord-exer.log	28-Mar-2002 12:30	4.3K
	induct-exer.log	28-Mar-2002 12:30	4.2K
	examiiinotes.log	28-Mar-2002 12:30	4.1K
	examiinotes.log	28-Mar-2002 12:30	4.1K
	examiiialt2.log	28-Mar-2002 12:30	4.1K
	examiiialt.log	28-Mar-2002 12:30	4.1K
	final.log	28-Mar-2002 12:30	4.1K
	finalalt.log	28-Mar-2002 12:30	4.1K
	examiialt.log	28-Mar-2002 12:30	4.1K
	set-exer.log	28-Mar-2002 12:30	3.8K
	examiinotes.tex.bak	28-Mar-2002 12:30	3.7K
	examialt.tex	28-Mar-2002 12:30	3.7K
	exami.tex	28-Mar-2002 12:30	3.7K
	examialt.tex.bak	28-Mar-2002 12:30	3.7K
	examiiialt2.tex	28-Mar-2002 12:30	3.6K
	exami.tex.bak	28-Mar-2002 12:30	3.6K
	examiialt.dvi	28-Mar-2002 12:30	3.6K
	outline.tex	28-Mar-2002 12:30	3.3K
	language.log	28-Mar-2002 12:30	3.1K
	set-exer.tex	28-Mar-2002 12:30	3.1K
	examiinotes.tex	28-Mar-2002 12:30	3.1K
	examiialt.tex.bak	28-Mar-2002 12:30	3.1K
	set-exer.tex.bak	28-Mar-2002 12:30	2.8K
	examiialt.tex	28-Mar-2002 12:30	2.8K
	examialt.log	28-Mar-2002 12:30	2.7K
	exami.log	28-Mar-2002 12:29	2.6K
	examiiinotes.tex.bak	28-Mar-2002 12:30	2.2K
	counting.aux	28-Mar-2002 12:29	2.2K
	outline.log	28-Mar-2002 12:30	2.2K
	announcement.log	28-Mar-2002 12:29	2.1K
	propos.aux	28-Mar-2002 12:30	2.0K
	counting.toc	28-Mar-2002 12:29	1.2K
	propos.toc	28-Mar-2002 12:30	900
	announcement.dvi	28-Mar-2002 12:29	896
	outline.bbl	28-Mar-2002 12:30	587
	announcement.tex	28-Mar-2002 12:29	497
	A.aux	28-Mar-2002 12:29	468
	outline.tex.bak	28-Mar-2002 12:30	407
	predicate.log	28-Mar-2002 12:30	390
	language.aux	28-Mar-2002 12:30	285
	outline.aux	28-Mar-2002 12:30	188
	announcement.aux	28-Mar-2002 12:29	186
	outline.blg	28-Mar-2002 12:30	136
	announcement.tex.bak	28-Mar-2002 12:29	97
	exami.aux	28-Mar-2002 12:29	39
	set-exer.aux	28-Mar-2002 12:30	9
	ord-exer.aux	28-Mar-2002 12:30	9
	induct-exer.aux	28-Mar-2002 12:30	9
	finalalt.aux	28-Mar-2002 12:30	9
	final.aux	28-Mar-2002 12:30	9
	examiinotes.aux	28-Mar-2002 12:30	9
	examiiinotes.aux	28-Mar-2002 12:30	9
	examiiialt2.aux	28-Mar-2002 12:30	9
	examiiialt.aux	28-Mar-2002 12:30	9
	examiialt.aux	28-Mar-2002 12:30	9
	examialt.aux	28-Mar-2002 12:30	9