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--	9482	path_closed.ma	blob \| history \| raw
-rw-r--r--	2357	path_closed_guard.ma	blob \| history \| raw
-rw-r--r--	1460	path_closed_structure.ma	blob \| history \| raw
-rw-r--r--	2697	path_depth.ma	blob \| history \| raw
-rw-r--r--	1375	path_guard.ma	blob \| history \| raw
-rw-r--r--	1357	path_guard_structure.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--	1690	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