applied-abstraction/precept — Issue #62: Rename Calculus to Verification
Author: guerrilla
Created: 2012-02-26 09:05:02+00:00
State: open
Labels: Refactor

trivial rename