Index of /~vsiles/coq/untyped_theory

	Name	Last modified	Size	Description
	Parent Directory		-
	barendregt_confl.v	2008-12-15 11:48	2.3K
	facts.v	2008-12-06 11:03	34K
	pseudo_term.v	2008-12-06 11:03	15K
	reduction.v	2008-12-06 11:03	6.0K