Some properties of darcs patch theory

This is an attempt to derive some properties of darcs patch theory. We start by specifying the “axioms” that must be true of patches and commutation, and prove some theorems.