Index of /~nad/repos/dependently-typed-syntax/deBruijn/Context/Extension

	Name	Last modified	Size	Description
	Parent Directory		-
	Isomorphic.agda	22-Aug-2011 14:00	3.9K
	Left.agda	22-Aug-2011 14:00	12K
	Right.agda	22-Aug-2011 14:00	12K