While not as rigorous as systems like Darcs and Pijul (which are based on a formalized theory of patches