Tilføjet informalSpecification.tex til index filen