chiark / gitweb /
fix a few bugs in THEORY