This page has moved to https://github.com/georgschwarz/normlogic.