X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FNormalization.tex;h=bf0d3884bd2047d69e87d29d52fa826fefcf31ed;hp=cf905c3c6155003bef0419d251ebafaef4cd1e36;hb=91b4bb893a7915a0701fcaafcd160cdf0460a1b6;hpb=16503ed812eef1ab2d30cba5596bd38d1b670c81 diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index cf905c3..bf0d388 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -2060,7 +2060,7 @@ transformations will probably need updating to handle them in all cases. - \subsection{Normalization of stateful descriptions} + \subsection[sec:normalization:stateproblems]{Normalization of stateful descriptions} Currently, the intended normal form definition\refdef{intended normal form definition} offers enough freedom to describe all valid stateful descriptions, but is not limiting enough. It is