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

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--	755101	grundlagen_2.aut	blob \| history \| raw
-rw-r--r--	177510	grundlagen_2.tar.bz2	blob \| history \| raw
-rw-r--r--	5961211	grundlagen_2.v	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--	808749	helena_0.8.2.tar.gz	blob \| history \| raw
-rw-r--r--	1141921	helena_0.8.3.tar.gz	blob \| history \| raw
-rw-r--r--	68519	lambda_talk_1s.pdf	blob \| history \| raw
-rw-r--r--	4665	lambdadelta.bib	blob \| history \| raw
-rw-r--r--	4665	lambdadelta.txt	blob \| history \| raw
-rw-r--r--	63525	lambdadelta_1A.tar.bz2	blob \| history \| raw
-rw-r--r--	95973	lambdadelta_2A.tar.bz2	blob \| history \| raw
-rw-r--r--	147683	lambdadelta_2B.tar.bz2	blob \| history \| raw
-rw-r--r--	44322	lambdadelta_ground.tar.bz2	blob \| history \| raw
-rw-r--r--	69907	ld_talk_10s.pdf	blob \| history \| raw
-rw-r--r--	70063	ld_talk_11s.pdf	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--	111599	ld_talk_8s.pdf	blob \| history \| raw
-rw-r--r--	67030	ld_talk_9s.pdf	blob \| history \| raw
-rw-r--r--	636386	lddl.tar.bz2	blob \| history \| raw