matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2A/etc/lpx

drwxr-xr-x		..
-rw-r--r--	2952	cpr_llpx_sn.etc	blob \| history \| raw
-rw-r--r--	3127	cpx_llpx_sn.etc	blob \| history \| raw
-rw-r--r--	7149	lleq.etc	blob \| history \| raw
-rw-r--r--	10481	llpx_sn.etc	blob \| history \| raw
-rw-r--r--	3527	llpx_sn_alt.etc	blob \| history \| raw
-rw-r--r--	13076	llpx_sn_alt_rec.etc	blob \| history \| raw
-rw-r--r--	23303	llpx_sn_ldrop.etc	blob \| history \| raw
-rw-r--r--	2021	llpx_sn_lpx_sn.etc	blob \| history \| raw
-rw-r--r--	1545	llpx_sn_tc.etc	blob \| history \| raw
-rw-r--r--	2882	lpr.etc	blob \| history \| raw
-rw-r--r--	3294	lpx.etc	blob \| history \| raw
-rw-r--r--	3755	lpx_sn.etc	blob \| history \| raw
-rw-r--r--	5245	lpx_sn_alt.etc	blob \| history \| raw
-rw-r--r--	5070	lpx_sn_ldrop.etc	blob \| history \| raw
-rw-r--r--	2674	lpx_sn_lpx_sn.etc	blob \| history \| raw
-rw-r--r--	5465	lpx_sn_tc.etc	blob \| history \| raw
-rw-r--r--	2585	ssta_llpx_sn.etc	blob \| history \| raw