Index of /~vsiles/coq/sequents2

	Name	Last modified	Size	Description
	Parent Directory		-
	sc_red.v	2009-11-25 16:40	41K
	sequents_delay.tar.bz2	2010-08-31 16:51	34K
	sc_red_par.v	2009-11-25 16:40	17K
	dn_typ_alt.v	2009-11-25 16:40	17K
	sc_term.v	2009-11-25 16:40	16K
	sc_sr_alt.v	2010-08-31 16:16	15K
	dn_term.v	2009-11-25 16:40	15K
	sc_typ.v	2009-11-25 16:40	15K
	dn_red.v	2009-11-25 16:40	15K
	sc_typ_alt.v	2010-08-31 16:25	14K
	dn_typ.v	2009-11-25 16:40	9.7K
	sc_glue.v	2010-08-31 16:38	9.3K
	equiv.v	2009-11-25 16:40	9.2K
	sc_sr.v	2010-08-31 15:37	8.5K
	dn_sr.v	2009-11-25 16:40	7.7K
	dn_context.v	2009-11-25 16:40	7.4K
	sc_context.v	2009-11-25 16:40	6.2K
	sc_ti.v	2010-08-31 16:46	4.6K
	Makefile	2010-08-31 16:46	588