Change document headers
-rw-r--r-- 606082 AgdaTalk-Slides-Englisch.svg
-rw-r--r-- 545855 AgdaTalk-Slides.svg
-rw-r--r-- 5218 AgdaTalk.tex
-rw-r--r-- 38300 Bookcover.jpg
-rw-r--r-- 7777 DivModUtils.agda
-rw-r--r-- 824 Pebbels.agda-template
-rw-r--r-- 4270 Pebbels1.lagda
-rw-r--r-- 5397 Pebbels3.lagda
-rw-r--r-- 5799 Pebbels5.lagda
-rw-r--r-- 3509 Pebbels6.lagda
-rw-r--r-- 59490 jsb.jpg
-rw-r--r-- 33150 nicubunu_Game_marbles_-_simple_dots.svg
-rw-r--r-- 20 scrartcl.hva
-rw-r--r-- 81 startkeymon.sh