Index of /repos/coq/Russell/papers/figures

	Name	Last modified	Size	Description
	Parent Directory		-
	bigpic.svg	31-Jan-2008 21:58	18K
	bigpic1.png	31-Jan-2008 21:58	69K
	bigpic2.png	31-Jan-2008 21:58	82K
	bigpic3.png	31-Jan-2008 21:58	118K
	bigpic4.png	31-Jan-2008 21:58	139K
	bigpic5.png	31-Jan-2008 21:58	152K
	captureappend-app.png	31-Jan-2008 21:58	65K
	captureappend-extract.png	31-Jan-2008 21:58	76K
	captureappend-proof.png	31-Jan-2008 21:58	81K
	capturemyhd-extract.png	31-Jan-2008 21:58	75K
	capturemyhd-proof.png	31-Jan-2008 21:58	72K
	capturemytail-extract.png	31-Jan-2008 21:58	74K
	capturemytest-bad.png	31-Jan-2008 21:58	57K
	capturemytest-ok-extract.png	31-Jan-2008 21:58	59K
	capturemytest-ok.png	31-Jan-2008 21:58	57K
	capturesyntax.png	31-Jan-2008 21:58	63K
	generate.sh	31-Jan-2008 21:58	287
	inria-logo-mini.png	31-Jan-2008 21:58	6.3K
	inria-logo.png	31-Jan-2008 21:58	11K
	lambda-cube.png	31-Jan-2008 21:58	78K
	lambda-cube.ps	31-Jan-2008 21:58	43K
	lambda-cube.tex	31-Jan-2008 21:58	905
	le_lt_dec-def.v	31-Jan-2008 21:58	59
	le_lt_dec-extterm.v	31-Jan-2008 21:58	157
	le_lt_dec-tactic.v	31-Jan-2008 21:58	124
	le_lt_dec-term.v	31-Jan-2008 21:58	645
	lri-logo.png	31-Jan-2008 21:58	7.1K
	lt_ge_dec-proof.v	31-Jan-2008 21:58	182
	lt_ge_dec-tactic.v	31-Jan-2008 21:58	48
	subtac-euclid-tcc.v	31-Jan-2008 21:58	463
	subtac-euclid.v	31-Jan-2008 21:58	591
	ufr-logo.png	31-Jan-2008 21:58	2.2K
	ups-logo-mini.png	31-Jan-2008 21:58	5.3K
	ups-logo.png	31-Jan-2008 21:58	4.5K