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

drwxr-xr-x		..
-rw-r--r--	218725	disambiguation-errors.pdf	blob \| history \| raw
-rw-r--r--	199960	disambiguation.pdf	blob \| history \| raw
-rw-r--r--	228534	hopr.pdf	blob \| history \| raw
-rw-r--r--	556855	lmcs_types_2010.pdf	blob \| history \| raw
-rw-r--r--	588633	matita.pdf	blob \| history \| raw
-rw-r--r--	433326	matita_types.pdf	blob \| history \| raw
-rw-r--r--	224389	nonunifcoerc.pdf	blob \| history \| raw
-rw-r--r--	311752	notation.pdf	blob \| history \| raw
-rw-r--r--	787234	oliboni.pdf	blob \| history \| raw
-rw-r--r--	150415	plmms09.pdf	blob \| history \| raw
-rw-r--r--	487440	sadhana.pdf	blob \| history \| raw
-rw-r--r--	365457	smart.pdf	blob \| history \| raw
-rw-r--r--	198401	system_description2011.pdf	blob \| history \| raw
-rw-r--r--	429123	tinycals.pdf	blob \| history \| raw
-rw-r--r--	239795	tphol09.pdf	blob \| history \| raw
-rw-r--r--	319013	whelp.pdf	blob \| history \| raw