team-worthwhile/worthwhile — comment on commit dbd8794ce9ae620074a6727b891461a2bec7e1f2
File: implementierung/src/worthwhile.prover/src/edu/kit/iti/formal/pse/worthwhile/prover/VariableSubstitution.java line 55
By leonhandreke:

Warum das?