/tex/
drwxr-xr-x [up]
-rw-r--r-- 2011-07-13 01:26 +0200 2550 pythonlisting.tex
-rw-r--r-- 2011-07-13 01:26 +0200 3602 theory1_ex4.tex
-rw-r--r-- 2011-07-13 01:26 +0200 2511 theory1_ex5.tex
-rw-r--r-- 2011-07-13 01:26 +0200 5415 theory1_ex6.tex
-rw-r--r-- 2011-07-13 01:26 +0200 4366 theory1_ex7.tex
-rw-r--r-- 2011-07-13 01:26 +0200 2288 theory1_ex8.tex