Package ptolemy.verification.gui

GUI for the verification facility.

Since:
Ptolemy II 7.1