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

drwxr-xr-x		..
-rw-r--r--	1480	fsubst.ma	blob \| history \| raw
-rw-r--r--	1763	fsubst_eq.ma	blob \| history \| raw
-rw-r--r--	2315	fsubst_lift.ma	blob \| history \| raw
-rw-r--r--	2392	lift_constructors.ma	blob \| history \| raw
-rw-r--r--	4460	lift_path.ma	blob \| history \| raw
-rw-r--r--	1443	lift_path_after.ma	blob \| history \| raw
-rw-r--r--	2169	lift_path_closed.ma	blob \| history \| raw
-rw-r--r--	1602	lift_path_eq.ma	blob \| history \| raw
-rw-r--r--	1433	lift_path_id.ma	blob \| history \| raw
-rw-r--r--	1491	lift_path_length.ma	blob \| history \| raw
-rw-r--r--	1732	lift_path_proper.ma	blob \| history \| raw
-rw-r--r--	1587	lift_path_structure.ma	blob \| history \| raw
-rw-r--r--	1515	lift_path_uni.ma	blob \| history \| raw
-rw-r--r--	1521	lift_prototerm.ma	blob \| history \| raw
-rw-r--r--	1477	lift_prototerm_after.ma	blob \| history \| raw
-rw-r--r--	2402	lift_prototerm_eq.ma	blob \| history \| raw
-rw-r--r--	1604	lift_prototerm_id.ma	blob \| history \| raw
-rw-r--r--	1760	lift_prototerm_proper.ma	blob \| history \| raw
-rw-r--r--	2763	lift_rmap.ma	blob \| history \| raw
-rw-r--r--	1426	lift_rmap_after.ma	blob \| history \| raw
-rw-r--r--	2806	lift_rmap_closed.ma	blob \| history \| raw
-rw-r--r--	1736	lift_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	1350	lift_rmap_id.ma	blob \| history \| raw
-rw-r--r--	1397	lift_rmap_pap.ma	blob \| history \| raw
-rw-r--r--	3573	prelift_label.ma	blob \| history \| raw
-rw-r--r--	1368	prelift_label_after.ma	blob \| history \| raw
-rw-r--r--	1450	prelift_label_eq.ma	blob \| history \| raw
-rw-r--r--	1331	prelift_label_id.ma	blob \| history \| raw
-rw-r--r--	1917	prelift_rmap.ma	blob \| history \| raw
-rw-r--r--	1500	prelift_rmap_after.ma	blob \| history \| raw
-rw-r--r--	1403	prelift_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	1334	prelift_rmap_id.ma	blob \| history \| raw