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

-rw-r--r--	1840	aaa_ltpsss.etc	blob \| raw
-rw-r--r--	1462	cpr_ltpsss.etc	blob \| raw
-rw-r--r--	2246	cprs_lcpr.etc	blob \| raw
-rw-r--r--	1710	lcpr.etc	blob \| raw
-rw-r--r--	1749	lcpr_aaa.etc	blob \| raw
-rw-r--r--	1496	lcpr_cpr.etc	blob \| raw
-rw-r--r--	2032	lcpr_lcpr.etc	blob \| raw
-rw-r--r--	1574	ltpr_ltpsss.etc	blob \| raw
-rw-r--r--	3490	ltpsss.etc	blob \| raw
-rw-r--r--	3598	ltpsss_ldrop.etc	blob \| raw
-rw-r--r--	6787	ltpsss_ltpsss.etc	blob \| raw
-rw-r--r--	2000	ltpsss_tps.etc	blob \| raw
-rw-r--r--	3425	ltpsss_tpss.etc	blob \| raw
-rw-r--r--	1302	notation.etc	blob \| raw