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

drwxr-xr-x		..
-rw-r--r--	7939	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--	2725	path_height.ma	blob \| history \| raw
-rw-r--r--	2165	path_inner.ma	blob \| history \| raw
-rw-r--r--	1829	path_proper.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--	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--	1534	prototerm_equivalence.ma	blob \| history \| raw
-rw-r--r--	1760	prototerm_proper.ma	blob \| history \| raw
-rw-r--r--	1367	prototerm_proper_constructors.ma	blob \| history \| raw