Package ptolemy.verification.lib

The ptolemy.verification.lib package.

Since:
Ptolemy II 7.2