matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda/terms/

drwxr-xr-x		..
-rw-r--r--	6418	delifting_substitution.ma	blob \| history \| raw
-rw-r--r--	5031	labeled_sequential_computation.ma	blob \| history \| raw
-rw-r--r--	5636	labeled_sequential_reduction.ma	blob \| history \| raw
-rw-r--r--	1450	length.ma	blob \| history \| raw
-rw-r--r--	10032	lift.ma	blob \| history \| raw
-rw-r--r--	1988	multiplicity.ma	blob \| history \| raw
-rw-r--r--	2537	parallel_computation.ma	blob \| history \| raw
-rw-r--r--	6369	parallel_reduction.ma	blob \| history \| raw
-rw-r--r--	2580	pointer.ma	blob \| history \| raw
-rw-r--r--	2501	pointer_list.ma	blob \| history \| raw
-rw-r--r--	2165	pointer_list_standard.ma	blob \| history \| raw
-rw-r--r--	4087	pointer_order.ma	blob \| history \| raw
-rw-r--r--	1483	pointer_tree.ma	blob \| history \| raw
-rw-r--r--	9445	st_computation.ma	blob \| history \| raw
-rw-r--r--	2971	term.ma	blob \| history \| raw