drwxr-xr-x 2 edrx edrx 4096 Aug 22 2005 ./ drwxr-xr-x 11 edrx edrx 12288 Dec 21 02:29 ../ -rw-r--r-- 1 edrx edrx 3812 Feb 22 2020 dec2006-pt.txt -rw-r--r-- 1 edrx edrx 5376 Dec 21 02:28 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