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

drwxr-xr-x		..
-rw-r--r--	1965	preunwind2_rmap.ma	blob \| history \| raw
-rw-r--r--	1460	preunwind2_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	1829	preunwind2_rmap_lift.ma	blob \| history \| raw
-rw-r--r--	5363	unwind2_path.ma	blob \| history \| raw
-rw-r--r--	1482	unwind2_path_after.ma	blob \| history \| raw
-rw-r--r--	9328	unwind2_path_append.ma	blob \| history \| raw
-rw-r--r--	1520	unwind2_path_eq.ma	blob \| history \| raw
-rw-r--r--	1988	unwind2_path_lift.ma	blob \| history \| raw
-rw-r--r--	3095	unwind2_preterm_eq.ma	blob \| history \| raw
-rw-r--r--	4556	unwind2_preterm_fsubst.ma	blob \| history \| raw
-rw-r--r--	1528	unwind2_prototerm.ma	blob \| history \| raw
-rw-r--r--	1483	unwind2_prototerm_after.ma	blob \| history \| raw
-rw-r--r--	2630	unwind2_prototerm_constructors.ma	blob \| history \| raw
-rw-r--r--	1652	unwind2_prototerm_eq.ma	blob \| history \| raw
-rw-r--r--	1526	unwind2_prototerm_inner.ma	blob \| history \| raw
-rw-r--r--	1852	unwind2_prototerm_lift.ma	blob \| history \| raw
-rw-r--r--	2859	unwind2_rmap.ma	blob \| history \| raw
-rw-r--r--	1876	unwind2_rmap_after.ma	blob \| history \| raw
-rw-r--r--	4087	unwind2_rmap_closed.ma	blob \| history \| raw
-rw-r--r--	2374	unwind2_rmap_crux.ma	blob \| history \| raw
-rw-r--r--	2507	unwind2_rmap_depth.ma	blob \| history \| raw
-rw-r--r--	1726	unwind2_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	2098	unwind2_rmap_lift.ma	blob \| history \| raw
-rw-r--r--	1548	unwind2_rmap_structure.ma	blob \| history \| raw