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

drwxr-xr-x		..
-rw-r--r--	1965	preunwind2_rmap.ma	blob \| history \| raw
-rw-r--r--	1458	preunwind2_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	1827	preunwind2_rmap_lift.ma	blob \| history \| raw
-rw-r--r--	5361	unwind2_path.ma	blob \| history \| raw
-rw-r--r--	1478	unwind2_path_after.ma	blob \| history \| raw
-rw-r--r--	9326	unwind2_path_append.ma	blob \| history \| raw
-rw-r--r--	1516	unwind2_path_eq.ma	blob \| history \| raw
-rw-r--r--	1984	unwind2_path_lift.ma	blob \| history \| raw
-rw-r--r--	3091	unwind2_preterm_eq.ma	blob \| history \| raw
-rw-r--r--	4552	unwind2_preterm_fsubst.ma	blob \| history \| raw
-rw-r--r--	1526	unwind2_prototerm.ma	blob \| history \| raw
-rw-r--r--	1479	unwind2_prototerm_after.ma	blob \| history \| raw
-rw-r--r--	2626	unwind2_prototerm_constructors.ma	blob \| history \| raw
-rw-r--r--	1648	unwind2_prototerm_eq.ma	blob \| history \| raw
-rw-r--r--	1522	unwind2_prototerm_inner.ma	blob \| history \| raw
-rw-r--r--	1848	unwind2_prototerm_lift.ma	blob \| history \| raw
-rw-r--r--	2857	unwind2_rmap.ma	blob \| history \| raw
-rw-r--r--	1874	unwind2_rmap_after.ma	blob \| history \| raw
-rw-r--r--	4037	unwind2_rmap_closed.ma	blob \| history \| raw
-rw-r--r--	2362	unwind2_rmap_crux.ma	blob \| history \| raw
-rw-r--r--	2505	unwind2_rmap_depth.ma	blob \| history \| raw
-rw-r--r--	1722	unwind2_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	2092	unwind2_rmap_lift.ma	blob \| history \| raw
-rw-r--r--	1546	unwind2_rmap_structure.ma	blob \| history \| raw