matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/

drwxr-xr-x		..
-rw-r--r--	13589	arity.ma	blob \| history \| raw
-rw-r--r--	4502	arity_props.ma	blob \| history \| raw
-rw-r--r--	33520	dec.ma	blob \| history \| raw
-rw-r--r--	2606	defs.ma	blob \| history \| raw
-rw-r--r--	72564	fsubst0.ma	blob \| history \| raw
-rw-r--r--	67491	fwd.ma	blob \| history \| raw
-rw-r--r--	53652	pr3.ma	blob \| history \| raw
-rw-r--r--	36022	pr3_props.ma	blob \| history \| raw
-rw-r--r--	30832	props.ma	blob \| history \| raw
-rw-r--r--	85904	subst1.ma	blob \| history \| raw
-rw-r--r--	47563	tau0.ma	blob \| history \| raw