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

drwxr-xr-x		..
-rw-r--r--	1873	unwind2_constructors.ma	blob \| history \| raw
-rw-r--r--	3156	unwind2_path.ma	blob \| history \| raw
-rw-r--r--	1948	unwind2_path_eq.ma	blob \| history \| raw
-rw-r--r--	2216	unwind2_path_lift.ma	blob \| history \| raw
-rw-r--r--	4814	unwind2_path_structure.ma	blob \| history \| raw
-rw-r--r--	3141	unwind2_preterm_eq.ma	blob \| history \| raw
-rw-r--r--	3002	unwind2_preterm_fsubst.ma	blob \| history \| raw
-rw-r--r--	1526	unwind2_prototerm.ma	blob \| history \| raw
-rw-r--r--	1849	unwind2_prototerm_eq.ma	blob \| history \| raw
-rw-r--r--	1529	unwind2_prototerm_inner.ma	blob \| history \| raw
-rw-r--r--	1846	unwind2_prototerm_lift.ma	blob \| history \| raw
-rw-r--r--	3306	unwind2_rmap.ma	blob \| history \| raw
-rw-r--r--	1841	unwind2_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	5100	unwind2_rmap_head.ma	blob \| history \| raw
-rw-r--r--	1463	unwind2_rmap_labels.ma	blob \| history \| raw
-rw-r--r--	1522	unwind2_rmap_structure.ma	blob \| history \| raw
-rw-r--r--	2902	unwind_gen.ma	blob \| history \| raw
-rw-r--r--	1383	unwind_gen_after.ma	blob \| history \| raw
-rw-r--r--	1679	unwind_gen_eq.ma	blob \| history \| raw
-rw-r--r--	9710	unwind_gen_structure.ma	blob \| history \| raw