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

]> matita.cs.unibo.it Git - helm.git/tree

projects / helm.git / tree

27af9e555a0a17b4010db0a1aecae0c2bbf95242

-rw-r--r--	9037	lstas.ma	blob \| raw
-rw-r--r--	2526	lstas_aaa.ma	blob \| raw
-rw-r--r--	4628	lstas_da.ma	blob \| raw
-rw-r--r--	9724	lstas_lift.ma	blob \| raw
-rw-r--r--	2569	lstas_llpx_sn.ma	blob \| raw
-rw-r--r--	5627	lstas_lstas.ma	blob \| raw
-rw-r--r--	1846	unfold.ma	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.