]> matita.cs.unibo.it Git - helm.git/tree - helm/www/lambda_delta/download/
- xhtbl.css is ready!
[helm.git] / helm / www / lambda_delta / download /
drwxr-xr-x   ..
-rw-r--r-- 784 automath.sl
-rw-r--r-- 18926 bld.pdf
-rw-r--r-- 34839 cie_2007.pdf
-rw-r--r-- 289451 cie_2010.pdf
-rw-r--r-- 777 helena.sl
-rw-r--r-- 352491 helena_0.8.0.tar.gz
-rw-r--r-- 252616 helena_0.8.1.tar.gz
-rw-r--r-- 2421 lambda_delta.bib
-rw-r--r-- 2421 lambda_delta.txt
-rw-r--r-- 95190 lambda_delta_1.tar.gz
-rw-r--r-- 47924 ld_talk_1s.pdf
-rw-r--r-- 62814 ld_talk_2s.pdf
-rw-r--r-- 51220 ld_talk_3s.pdf
-rw-r--r-- 65374 ld_talk_4s.pdf
-rw-r--r-- 77357 ld_talk_5s.pdf
-rw-r--r-- 109868 ld_talk_6s.pdf
-rw-r--r-- 78392 ld_talk_7s.pdf
-rw-r--r-- 1218093 lddl.tar.bz2