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--	6201	path_closed.ma	blob \| history \| raw
-rw-r--r--	1450	path_closed_height.ma	blob \| history \| raw
-rw-r--r--	1649	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--	2691	path_inner.ma	blob \| history \| raw
-rw-r--r--	1388	path_inner_proper.ma	blob \| history \| raw
-rw-r--r--	2117	path_proper.ma	blob \| history \| raw
-rw-r--r--	8049	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--	2129	prototerm.ma	blob \| history \| raw
-rw-r--r--	4052	prototerm_constructors.ma	blob \| history \| raw
-rw-r--r--	1398	prototerm_constructors_eq.ma	blob \| history \| raw
-rw-r--r--	1534	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