/tex/
drwxr-xr-x [up]
-rw-r--r-- 2011-06-27 01:01 +0200 2550 pythonlisting.tex
-rw-r--r-- 2011-06-27 01:01 +0200 3602 theory1_ex4.tex
-rw-r--r-- 2011-06-27 01:01 +0200 2511 theory1_ex5.tex
-rw-r--r-- 2011-06-27 01:01 +0200 5413 theory1_ex6.tex