Experiment
Github issue #151

Moved wall_proof.txt to theory repository, to resolve Debian
licensing issue.