matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/pts_dummy

drwxr-xr-x		..
-rw-r--r--	6862	arity.ma	blob \| history \| raw
-rw-r--r--	10204	arity_eval.ma	blob \| history \| raw
-rw-r--r--	2559	convertibility.ma	blob \| history \| raw
-rw-r--r--	1806	cube.ma	blob \| history \| raw
-rw-r--r--	4666	ext.ma	blob \| history \| raw
-rw-r--r--	3049	ext_lambda.ma	blob \| history \| raw
-rw-r--r--	4438	inversion.ma	blob \| history \| raw
-rw-r--r--	2986	lambda_notation.ma	blob \| history \| raw
-rw-r--r--	9563	par_reduction.ma	blob \| history \| raw
-rw-r--r--	5490	rc_eval.ma	blob \| history \| raw
-rw-r--r--	2493	rc_hsat.ma	blob \| history \| raw
-rw-r--r--	5800	rc_sat.ma	blob \| history \| raw
-rw-r--r--	11861	reduction.ma	blob \| history \| raw
-rw-r--r--	2617	sn.ma	blob \| history \| raw
-rw-r--r--	8267	subject.ma	blob \| history \| raw
-rw-r--r--	10041	subst.ma	blob \| history \| raw
-rw-r--r--	4493	subterms.ma	blob \| history \| raw
-rw-r--r--	1744	terms.ma	blob \| history \| raw
-rw-r--r--	4178	thinning.ma	blob \| history \| raw
-rw-r--r--	6396	types.ma	blob \| history \| raw