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

drwxr-xr-x		..
-rw-r--r--	7932	bdd_term.ma	blob \| history \| raw
-rw-r--r--	2056	label.ma	blob \| history \| raw
-rw-r--r--	1913	path.ma	blob \| history \| raw
-rw-r--r--	1476	path_balanced.ma	blob \| history \| raw
-rw-r--r--	10166	path_closed.ma	blob \| history \| raw
-rw-r--r--	1711	path_closed_height.ma	blob \| history \| raw
-rw-r--r--	1465	path_closed_structure.ma	blob \| history \| raw
-rw-r--r--	2697	path_depth.ma	blob \| history \| raw
-rw-r--r--	2744	path_height.ma	blob \| history \| raw
-rw-r--r--	2109	path_inner.ma	blob \| history \| raw
-rw-r--r--	1388	path_inner_proper.ma	blob \| history \| raw
-rw-r--r--	1867	path_labels.ma	blob \| history \| raw
-rw-r--r--	2117	path_proper.ma	blob \| history \| raw
-rw-r--r--	8040	path_structure.ma	blob \| history \| raw
-rw-r--r--	1491	path_structure_depth.ma	blob \| history \| raw
-rw-r--r--	1489	path_structure_inner.ma	blob \| history \| raw
-rw-r--r--	1967	preterm.ma	blob \| history \| raw
-rw-r--r--	2297	prototerm.ma	blob \| history \| raw
-rw-r--r--	4323	prototerm_constructors.ma	blob \| history \| raw
-rw-r--r--	2411	prototerm_constructors_eq.ma	blob \| history \| raw
-rw-r--r--	1955	prototerm_eq.ma	blob \| history \| raw
-rw-r--r--	1856	prototerm_proper.ma	blob \| history \| raw
-rw-r--r--	1367	prototerm_proper_constructors.ma	blob \| history \| raw
-rw-r--r--	1433	prototerm_proper_inner.ma	blob \| history \| raw