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--	588633	matita.pdf	blob \| history \| raw
-rw-r--r--	433326	matita_types.pdf	blob \| history \| raw
-rw-r--r--	311752	notation.pdf	blob \| history \| raw
-rw-r--r--	429123	tinycals.pdf	blob \| history \| raw
-rw-r--r--	319013	whelp.pdf	blob \| history \| raw