Open kohlhase opened 1 year ago
Idea: we have the {realization} and {interpretation} environments. Must like we have {usestructure} and {extstructure}, we probably also need {userealization} and {extrealization} and the analogs for {interpretation} eventually.
{realization}
{interpretation}
{usestructure}
{extstructure}
{userealization}
{extrealization}
Idea: we have the
{realization}and{interpretation}environments. Must like we have{usestructure}and{extstructure}, we probably also need{userealization}and{extrealization}and the analogs for{interpretation}eventually.