Index of /~vsiles/coq/TPOSR

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	2010-04-26 08:58	310
	TPOSR_semifull.tar.bz2	2010-04-26 09:00	38K
	base.v	2010-04-26 08:58	136
	env.v	2010-04-26 08:58	8.2K
	final_result.v	2010-04-26 08:58	6.1K
	glue.v	2010-04-26 08:58	19K
	glue_old.v	2010-04-26 09:00	46K
	red.v	2010-04-26 08:58	7.2K
	short_base.pdf	2010-07-11 18:46	769K
	strip.v	2010-04-26 08:58	1.4K
	term.v	2010-04-26 08:58	18K
	typ_annot.v	2010-04-26 08:58	69K
	ut_env.v	2010-04-26 08:58	7.4K
	ut_red.v	2010-04-26 08:58	18K
	ut_sr.v	2010-04-26 08:58	32K
	ut_term.v	2010-04-26 08:58	17K
	ut_typ.v	2010-04-26 08:58	9.4K
	ut_typ_eq.v	2010-04-26 08:58	22K