Index of /~nad/repos/dependently-typed-syntax/deBruijn/Substitution

	Name	Last modified	Size	Description
	Parent Directory		-
	Isomorphic.agda	22-Aug-2011 14:00	4.4K
	Function/	29-Aug-2011 15:19	-
	Data/	29-Aug-2011 15:19	-
	Data.agda	22-Aug-2011 14:00	11K