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

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

projects / helm.git / tree

242ac1dbe7f9873b323569436babdac602d5868d

-rw-r--r--	9715	fqu.ma	blob \| raw
-rw-r--r--	1708	fqu_length.ma	blob \| raw
-rw-r--r--	1923	fqu_tdeq.ma	blob \| raw
-rw-r--r--	2033	fqu_weight.ma	blob \| raw
-rw-r--r--	2163	fquq.ma	blob \| raw
-rw-r--r--	1492	fquq_length.ma	blob \| raw
-rw-r--r--	1486	fquq_weight.ma	blob \| raw

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