Index of /~nad/repos/simply-typed/_darcs

	Name	Last modified	Size	Description
	Parent Directory		-
	inventories/	10-Mar-2008 15:51	-
	inventory	26-Oct-2010 14:02	4.0K
	patches/	26-Oct-2010 14:02	-
	prefs/	10-Mar-2008 15:52	-
	pristine/	26-Sep-2009 14:41	-
	tentative_pristine	26-Oct-2010 14:02	735