aim42/aim42 — pull request #72 by MichaelMahlberg (2014-05-13 08:36:51+00:00)
Title: Instrumentation and invariants

(finally) included Instrumentation and invariants, closing #33