/
drwxr-xr-x [up]
drwxr-xr-x pics
drwxr-xr-x scala
-rwxr-xr-x 2013-06-15 09:11 -0400 3208 beamerthemeplainculight.sty
-rw-r--r-- 2013-06-15 09:11 -0400 205 fib.while
-rw-r--r-- 2013-06-15 09:11 -0400 85199 hw01.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 1213 hw01.tex
-rw-r--r-- 2013-06-15 09:11 -0400 69279 hw02.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 969 hw02.tex
-rw-r--r-- 2013-06-15 09:11 -0400 81431 hw03.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 1434 hw03.tex
-rw-r--r-- 2013-06-15 09:11 -0400 89543 hw04.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 3189 hw04.tex
-rw-r--r-- 2013-06-15 09:11 -0400 81569 hw05.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 52988 hw06.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 2179 hw06.tex
-rw-r--r-- 2013-06-15 09:11 -0400 78658 hw07.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 2434 hw07.tex
-rw-r--r-- 2013-06-15 09:11 -0400 50223 hw08.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 1425 hw08.tex
-rwxr-xr-x 2013-06-15 09:11 -0400 15251 mathpartir.sty
-rw-r--r-- 2013-06-15 09:11 -0400 105362 proof.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 7811 proof.tex
-rw-r--r-- 2013-06-15 09:11 -0400 460 re-internal.rb
-rwxr-xr-x 2013-06-15 09:11 -0400 161 re.py
-rw-r--r-- 2013-06-15 09:11 -0400 296019 slides01.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 14050 slides01.tex
-rw-r--r-- 2013-06-15 09:11 -0400 132875 slides02.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 15420 slides02.tex
-rw-r--r-- 2013-06-15 09:11 -0400 86770 slides03.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 11817 slides03.tex
-rw-r--r-- 2013-06-15 09:11 -0400 216999 slides04.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 15881 slides04.tex
-rw-r--r-- 2013-06-15 09:11 -0400 109596 slides05.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 15155 slides05.tex
-rw-r--r-- 2013-06-15 09:11 -0400 154815 slides06.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 14231 slides06.tex
-rw-r--r-- 2013-06-15 09:11 -0400 92517 slides07.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 13515 slides07.tex
-rw-r--r-- 2013-06-15 09:11 -0400 133517 slides08.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 17407 slides08.tex
-rw-r--r-- 2013-06-15 09:11 -0400 138398 slides09.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 24725 slides09.tex
-rw-r--r-- 2013-06-15 09:11 -0400 317321 slides10.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 9867 slides10.tex
-rw-r--r-- 2013-06-15 09:11 -0400 44153 topics.pdf
-rw-r--r-- 2013-06-15 09:11 -0400 1485 topics.tex