Index of /~ulfn/darcs/Agda2/_darcs/checkpoints

	Name	Last modified	Size	Description
	Parent Directory		-
	20070523161603-8a0b6..>	2009-06-08 09:56	923K
	20080520061847-8a0b6..>	2009-06-08 09:56	1.1M
	inventory	2009-06-08 09:56	98