chiark / gitweb /
merge coherence use two implies in statement since equiv cannot represent haspatch...
-rw-r--r-- 38 .gitignore
-rw-r--r-- 194 Makefile
-rw-r--r-- 22589 article.tex
-rw-r--r-- 205 test.tex