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--	14461	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--	2304	cpr_tshf.ma	blob \| history \| raw
-rw-r--r--	4624	crf.ma	blob \| history \| raw
-rw-r--r--	2693	crf_append.ma	blob \| history \| raw
-rw-r--r--	3280	lpr.ma	blob \| history \| raw
-rw-r--r--	3535	lpr_aaa.ma	blob \| history \| raw
-rw-r--r--	16168	lpr_cpr.ma	blob \| history \| raw
-rw-r--r--	12577	lpr_cpss.ma	blob \| history \| raw
-rw-r--r--	1647	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	1287	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	1307	lpr_lpss.ma	blob \| history \| raw
-rw-r--r--	3070	xpr.ma	blob \| history \| raw