Index of /repos/coq/Russell/papers/seminar-Programing

	Name	Last modified	Size	Description
	Parent Directory		-
	abstract-only.tex	31-Jan-2008 21:58	576
	abstract.tex	31-Jan-2008 21:58	1.1K
	env.sh	31-Jan-2008 21:58	265
	figures/	31-Jan-2008 21:58	-
	slides-common.tex	31-Jan-2008 21:58	41K
	slides-proval-090307.pdf	31-Jan-2008 21:58	1.6M
	slides.tex	31-Jan-2008 21:58	261