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

drwxr-xr-x		..
-rw-r--r--	3090	cif.ma	blob \| history \| raw
-rw-r--r--	1759	cif_append.ma	blob \| history \| raw
-rw-r--r--	4193	cnf.ma	blob \| history \| raw
-rw-r--r--	1525	cnf_cif.ma	blob \| history \| raw
-rw-r--r--	2004	cnf_crf.ma	blob \| history \| raw
-rw-r--r--	2165	cnf_lift.ma	blob \| history \| raw
-rw-r--r--	14310	cpr.ma	blob \| history \| raw
-rw-r--r--	2391	cpr_cif.ma	blob \| history \| raw
-rw-r--r--	6149	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	13940	cpx.ma	blob \| history \| raw
-rw-r--r--	7948	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	4622	crf.ma	blob \| history \| raw
-rw-r--r--	2685	crf_append.ma	blob \| history \| raw
-rw-r--r--	3420	lpr.ma	blob \| history \| raw
-rw-r--r--	2497	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	16008	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	12911	lpr_lpss.ma	blob \| history \| raw
-rw-r--r--	3533	lpx.ma	blob \| history \| raw
-rw-r--r--	3885	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1612	lpx_ldrop.ma	blob \| history \| raw