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

drwxr-xr-x		..
-rw-r--r--	2886	cpxs_llpx.etc	blob \| history \| raw
-rw-r--r--	1551	csx_llpx.etc	blob \| history \| raw
-rw-r--r--	1507	csx_llpxs.etc	blob \| history \| raw
-rw-r--r--	2106	fpbs_lpr.etc	blob \| history \| raw
-rw-r--r--	1326	lazypredsn_7.etc	blob \| history \| raw
-rw-r--r--	1331	lazypredsnstar_7.etc	blob \| history \| raw
-rw-r--r--	1287	lazysn_6.etc	blob \| history \| raw
-rw-r--r--	1294	lazysnalt_6.etc	blob \| history \| raw
-rw-r--r--	3597	llpx.etc	blob \| history \| raw
-rw-r--r--	4312	llpx_aaa.etc	blob \| history \| raw
-rw-r--r--	5353	llpx_ldrop.etc	blob \| history \| raw
-rw-r--r--	1809	llpx_lleq.etc	blob \| history \| raw
-rw-r--r--	1472	llpx_lpr.etc	blob \| history \| raw
-rw-r--r--	4459	llpxs.etc	blob \| history \| raw
-rw-r--r--	1741	llpxs_aaa.etc	blob \| history \| raw
-rw-r--r--	9172	llpxs_cpxs.etc	blob \| history \| raw
-rw-r--r--	3544	llpxs_lleq.etc	blob \| history \| raw
-rw-r--r--	1312	llpxs_llpxs.etc	blob \| history \| raw
-rw-r--r--	1472	llpxs_lprs.etc	blob \| history \| raw
-rw-r--r--	2614	llsx.etc	blob \| history \| raw
-rw-r--r--	5154	llsx_alt.etc	blob \| history \| raw
-rw-r--r--	4962	llsx_csx.etc	blob \| history \| raw
-rw-r--r--	1647	llsx_ldrop.etc	blob \| history \| raw
-rw-r--r--	1619	llsx_llpx.etc	blob \| history \| raw
-rw-r--r--	3365	llsx_llpxs.etc	blob \| history \| raw