Proved associativity property of partial map category (without "flipping").
	modified:   Pullbacks.agda
	modified:   Stable.agda