twelf/examples-delphin/carsten/prop-calc
