Index of /~nad/repos/equality/Tree-sort

	Name	Last modified	Size	Description
	Parent Directory		-
	Examples.agda	22-Oct-2012 21:10	1.5K
	Full.agda	19-Oct-2012 20:29	9.4K
	Partial.agda	19-Oct-2012 20:29	3.6K