Index of /repos/coq/Russell/proof

	Name	Last modified	Size	Description
	Parent Directory		-
	CCSum/	01-Feb-2008 00:11	-
	Conv.v	31-Jan-2008 21:58	19K
	Conv.vo	01-Feb-2008 00:07	331K
	Conv_Dec.v	31-Jan-2008 21:58	9.4K
	Conv_Dec.vo	01-Feb-2008 00:07	181K
	Env.v	31-Jan-2008 21:58	3.6K
	Env.vo	01-Feb-2008 00:07	30K
	Hnf.v	01-Feb-2008 00:10	7.3K
	InvLiftSubst.v	31-Jan-2008 21:58	3.2K
	InvLiftSubst.vo	01-Feb-2008 00:07	44K
	JRussell/	01-Feb-2008 00:23	-
	LiftSubst.v	31-Jan-2008 21:58	9.7K
	LiftSubst.vo	01-Feb-2008 00:06	40K
	ListType.v	31-Jan-2008 21:58	3.1K
	ListType.vo	01-Feb-2008 00:06	24K
	Make	01-Feb-2008 00:38	2.0K
	Makefile	01-Feb-2008 00:06	8.3K
	Meta/	01-Feb-2008 00:23	-
	MyList.v	31-Jan-2008 21:58	7.1K
	MyList.vo	01-Feb-2008 00:06	37K
	Reduction.v	31-Jan-2008 21:58	29K
	Reduction.vo	01-Feb-2008 00:06	254K
	Russell./	01-Feb-2008 00:40	-
	Russell/	01-Feb-2008 00:23	-
	TPOSR/	01-Feb-2008 00:23	-
	Tactics.v	31-Jan-2008 21:58	751
	Tactics.vo	01-Feb-2008 00:06	2.2K
	Terms.v	31-Jan-2008 21:58	5.8K
	Terms.vo	01-Feb-2008 00:06	39K
	Utils.v	31-Jan-2008 21:58	1.1K
	Utils.vo	01-Feb-2008 00:06	5.4K
	Vector.v	31-Jan-2008 21:58	3.8K
	globals.dump	01-Feb-2008 00:24	1.6M
	html/	08-Nov-2008 03:58	-
	makedoc.sh	01-Feb-2008 00:35	279
	mycoqtop	31-Jan-2008 21:58	129
	params.sh	31-Jan-2008 21:58	42