matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	1712	cpms_reqx.etc	blob \| history \| raw
-rw-r--r--	1803	cpr_teqx.etc	blob \| history \| raw
-rw-r--r--	1803	cpx_feqx.etc	blob \| history \| raw
-rw-r--r--	2908	cpx_req.etc	blob \| history \| raw
-rw-r--r--	1613	cpx_reqx.etc	blob \| history \| raw
-rw-r--r--	1769	cpxs_feqx.etc	blob \| history \| raw
-rw-r--r--	2323	cpxs_reqx.etc	blob \| history \| raw
-rw-r--r--	2142	cpxs_teqx.etc	blob \| history \| raw
-rw-r--r--	1496	csx_feqx.etc	blob \| history \| raw
-rw-r--r--	1791	csx_reqx.etc	blob \| history \| raw
-rw-r--r--	2427	fpb_feqx.etc	blob \| history \| raw
-rw-r--r--	2556	fpb_reqx.etc	blob \| history \| raw
-rw-r--r--	1576	fsb_feqx.etc	blob \| history \| raw
-rw-r--r--	2496	lpx_reqx.etc	blob \| history \| raw
-rw-r--r--	1652	lpxs_feqx.etc	blob \| history \| raw
-rw-r--r--	2422	lpxs_reqx.etc	blob \| history \| raw