Package ptolemy.domains.de.kernel

The ptolemy.domains.de.kernel package.

Since:
Ptolemy II 0.2