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

drwxr-xr-x		..
-rw-r--r--	2921	aarity.ma	blob \| history \| raw
-rw-r--r--	3941	append.ma	blob \| history \| raw
-rw-r--r--	4430	append_length.ma	blob \| history \| raw
-rw-r--r--	1548	bind.ma	blob \| history \| raw
-rw-r--r--	1440	bind_weight.ma	blob \| history \| raw
-rw-r--r--	1535	ceq_ext.ma	blob \| history \| raw
-rw-r--r--	1425	ceq_ext_ceq_ext.ma	blob \| history \| raw
-rw-r--r--	1747	cext2.ma	blob \| history \| raw
-rw-r--r--	2359	cl_restricted_weight.ma	blob \| history \| raw
-rw-r--r--	2323	cl_weight.ma	blob \| history \| raw
-rw-r--r--	4177	ext2.ma	blob \| history \| raw
-rw-r--r--	1480	ext2_ext2.ma	blob \| history \| raw
-rw-r--r--	2427	ext2_tc.ma	blob \| history \| raw
-rw-r--r--	2255	genv.ma	blob \| history \| raw
-rw-r--r--	1291	genv_length.ma	blob \| history \| raw
-rw-r--r--	1497	genv_weight.ma	blob \| history \| raw
-rw-r--r--	3440	item.ma	blob \| history \| raw
-rw-r--r--	4652	item_sd.ma	blob \| history \| raw
-rw-r--r--	1899	item_sh.ma	blob \| history \| raw
-rw-r--r--	3501	lenv.ma	blob \| history \| raw
-rw-r--r--	2317	lenv_length.ma	blob \| history \| raw
-rw-r--r--	1709	lenv_weight.ma	blob \| history \| raw
-rw-r--r--	7046	lveq.ma	blob \| history \| raw
-rw-r--r--	4706	lveq_length.ma	blob \| history \| raw
-rw-r--r--	2680	lveq_lveq.ma	blob \| history \| raw
-rw-r--r--	7325	tdeq.ma	blob \| history \| raw
-rw-r--r--	1862	tdeq_ext.ma	blob \| history \| raw
-rw-r--r--	2414	tdeq_tdeq.ma	blob \| history \| raw
-rw-r--r--	5951	term.ma	blob \| history \| raw
-rw-r--r--	1858	term_simple.ma	blob \| history \| raw
-rw-r--r--	1764	term_vector.ma	blob \| history \| raw
-rw-r--r--	1703	term_weight.ma	blob \| history \| raw
-rw-r--r--	6576	theq.ma	blob \| history \| raw
-rw-r--r--	1663	theq_simple.ma	blob \| history \| raw
-rw-r--r--	1694	theq_simple_vector.ma	blob \| history \| raw
-rw-r--r--	1364	theq_tdeq.ma	blob \| history \| raw
-rw-r--r--	1889	theq_theq.ma	blob \| history \| raw