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--	1929	label.ma	blob \| history \| raw
-rw-r--r--	1845	path.ma	blob \| history \| raw
-rw-r--r--	1476	path_balanced.ma	blob \| history \| raw
-rw-r--r--	2678	path_depth.ma	blob \| history \| raw
-rw-r--r--	1387	path_depth_labels.ma	blob \| history \| raw
-rw-r--r--	1509	path_depth_reverse.ma	blob \| history \| raw
-rw-r--r--	2851	path_head.ma	blob \| history \| raw
-rw-r--r--	1762	path_head_depth.ma	blob \| history \| raw
-rw-r--r--	1765	path_head_structure.ma	blob \| history \| raw
-rw-r--r--	2727	path_height.ma	blob \| history \| raw
-rw-r--r--	1395	path_height_labels.ma	blob \| history \| raw
-rw-r--r--	2165	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--	2103	path_proper.ma	blob \| history \| raw
-rw-r--r--	2170	path_reverse.ma	blob \| history \| raw
-rw-r--r--	2908	path_structure.ma	blob \| history \| raw
-rw-r--r--	1491	path_structure_depth.ma	blob \| history \| raw
-rw-r--r--	1506	path_structure_inner.ma	blob \| history \| raw
-rw-r--r--	1372	path_structure_labels.ma	blob \| history \| raw
-rw-r--r--	1456	path_structure_reverse.ma	blob \| history \| raw
-rw-r--r--	1968	preterm.ma	blob \| history \| raw
-rw-r--r--	2129	prototerm.ma	blob \| history \| raw
-rw-r--r--	4051	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