cbyzhs/tp — pull request #4 by n-chan (2012-07-03 17:27:04+00:00)
Title: Axiomatic version of smallsteps.

....