Ignoring dvi- and backup-files.
Editorial: "mydef" -> "defi".
Editorial: "myproof" -> "proof".
Using current date.
Using ordinary page numbers.
Started adding labels.

Needs to be completed.
Improved document structure.
Ignored another latex-auxiliary-file.