master-thesis/calca/hops/auto_norm.xopp