New Delay directory
	new file:   Decision.agda
	new file:   Independence.agda
	new file:   Iteration.agda
	new file:   Joins.agda
	new file:   Meets.agda
	new file:   Order.agda
	new file:   Products.agda
	new file:   Zero.agda