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

drwxr-xr-x		..
-rw-r--r--	2383	cnu.etc	blob \| history \| raw
-rw-r--r--	1914	cnu_cnr.etc	blob \| history \| raw
-rw-r--r--	1659	cnu_cnr_simple.etc	blob \| history \| raw
-rw-r--r--	1586	cnu_cnu.etc	blob \| history \| raw
-rw-r--r--	2496	cnu_drops.etc	blob \| history \| raw
-rw-r--r--	1637	cnu_lifts.etc	blob \| history \| raw
-rw-r--r--	4868	cnu_tdeq.etc	blob \| history \| raw
-rw-r--r--	2484	cnv_cpmue.etc	blob \| history \| raw
-rw-r--r--	2457	cnv_cpue.etc	blob \| history \| raw
-rw-r--r--	4266	cpm_tueq.etc	blob \| history \| raw
-rw-r--r--	1520	cpms_cnu.etc	blob \| history \| raw
-rw-r--r--	2167	cpmue.etc	blob \| history \| raw
-rw-r--r--	2004	cpmue_csx.etc	blob \| history \| raw
-rw-r--r--	1508	cpue.etc	blob \| history \| raw
-rw-r--r--	1751	cpue_csx.etc	blob \| history \| raw
-rw-r--r--	1295	prediteval_5.etc	blob \| history \| raw