De bewijsboom bevat nu de geinstantieerde regels, d.w.z. dezelfde als die je in de editor ook intikt.
De bewijsboom bevat nu de geinstantieerde regels, d.w.z. dezelfde als die je in de editor ook intikt.

git-svn-id: f0ad932f837d50b52f73eb632e8f284266842b45@203 46e4088a-c2b5-4d24-90db-838aeec2e325

norm2782/JCU,norm2782/JCU