Index of /iron/icebox/iron-head.old-darcs/done/Iron/Language/SystemF2Effect

	Name	Last modified	Size	Description
	Parent Directory		-
	Base.v	2013-10-14 13:36	2.1K
	Value.v	2013-10-14 13:36	1.0K
	Store.v	2013-10-15 10:02	744
	Step.v	2013-10-03 13:15	443
	Type.v	2013-10-03 13:15	285
	Kind.v	2013-10-03 13:15	54
	Value/	2013-10-14 13:36	-
	Type/	2013-10-15 10:02	-
	Store/	2013-11-05 12:17	-
	Step/	2013-11-05 12:17	-
	Kind/	2013-10-03 13:15	-