matita.cs.unibo.it Git - helm.git/tree - helm/www/lambda

drwxr-xr-x		..
-rw-r--r--	784	automath.sl	blob \| history \| raw
-rw-r--r--	34839	cie_2007.pdf	blob \| history \| raw
-rw-r--r--	289451	cie_2010.pdf	blob \| history \| raw
-rw-r--r--	777	helena.sl	blob \| history \| raw
-rw-r--r--	352491	helena_0.8.0.tar.gz	blob \| history \| raw
-rw-r--r--	252616	helena_0.8.1.tar.gz	blob \| history \| raw
-rw-r--r--	2421	lambda_delta.bib	blob \| history \| raw
-rw-r--r--	2421	lambda_delta.txt	blob \| history \| raw
-rw-r--r--	95190	lambda_delta_1.tar.gz	blob \| history \| raw
-rw-r--r--	47924	ld_talk_1s.pdf	blob \| history \| raw
-rw-r--r--	62814	ld_talk_2s.pdf	blob \| history \| raw
-rw-r--r--	51220	ld_talk_3s.pdf	blob \| history \| raw
-rw-r--r--	65374	ld_talk_4s.pdf	blob \| history \| raw
-rw-r--r--	77357	ld_talk_5s.pdf	blob \| history \| raw
-rw-r--r--	109868	ld_talk_6s.pdf	blob \| history \| raw
-rw-r--r--	78392	ld_talk_7s.pdf	blob \| history \| raw
-rw-r--r--	1218093	lddl.tar.bz2	blob \| history \| raw