VL18: (Typo ?) in Summary and Generalisation #69
Description
In lecture.tex-18, namely line 244 (see: here) is a minor typo, instead of 'ersetzten' it should be 'ersetzen', as also mentioned in the lecture while explaining the procedure (see: Substitution und Unifikation - 11:26)