Tools for developing and reasoning about Z specifications
Provides classes for typechecking Z specifications.