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

drwxr-xr-x		..
-rw-r--r--	5225	cny.etc	blob \| history \| raw
-rw-r--r--	6581	cny_lift.etc	blob \| history \| raw
-rw-r--r--	3521	cpx_cpzs.etc	blob \| history \| raw
-rw-r--r--	4577	cpye.etc	blob \| history \| raw
-rw-r--r--	5162	cpye_alt.etc	blob \| history \| raw
-rw-r--r--	1614	cpye_cpye.etc	blob \| history \| raw
-rw-r--r--	9216	cpye_lift.etc	blob \| history \| raw
-rw-r--r--	1501	cpys_cny.etc	blob \| history \| raw
-rw-r--r--	4186	cpzs.etc	blob \| history \| raw
-rw-r--r--	2762	lleq_cpye.etc	blob \| history \| raw
-rw-r--r--	2565	lpx_cpye.etc	blob \| history \| raw
-rw-r--r--	2047	lpxs_cpye.etc	blob \| history \| raw
-rw-r--r--	1309	pdeltaconvstar_6.etc	blob \| history \| raw
-rw-r--r--	1317	psubsteval_6.etc	blob \| history \| raw
-rw-r--r--	1324	psubstevalalt_6.etc	blob \| history \| raw
-rw-r--r--	1294	psubstnormal_5.etc	blob \| history \| raw