drwxr-xr-x  2 edrx edrx   4096 Aug 22  2005 ./
drwxr-xr-x 11 edrx edrx  12288 Nov 21 05:07 ../
-rw-r--r--  1 edrx edrx   3812 Feb 22  2020 dec2006-pt.txt
-rw-r--r--  1 edrx edrx   5376 Nov 21 05:07 dec2006-pt.txt.html
-rw-r--r--  2 edrx edrx  38228 Aug 22  2005 lambdax.eps
-rw-r--r--  2 edrx edrx  30785 Aug 22  2005 lambdax.svg
-rw-r--r--  2 edrx edrx 161906 Oct 16  2005 slides-pt.pdf
-rw-r--r--  2 edrx edrx 360322 Oct 16  2005 slides-pt.ps
-rw-r--r--  2 edrx edrx  67654 Oct 16  2005 slides-pt.ps.gz
-rw-r--r--  2 edrx edrx  12770 Oct 16  2005 slides-pt.tex
-rw-r--r--  2 edrx edrx 119633 Aug 22  2005 slides.pdf
-rw-r--r--  2 edrx edrx 294970 Aug 22  2005 slides.ps
-rw-r--r--  2 edrx edrx  62870 Aug 22  2005 slides.ps.gz
-rw-r--r--  2 edrx edrx   9737 Aug 22  2005 slides.tex
-rw-r--r--  2 edrx edrx  10082 Aug 22  2005 twosymbols.eps
-rw-r--r--  2 edrx edrx   7220 Aug 22  2005 twosymbols.svg