Added def-partial-measure (defpm) and defthm-domain tools.
Merge branch 'master' into testing