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

drwxr-xr-x		..
-rw-r--r--	1298	nap.ma	blob \| history \| raw
-rw-r--r--	1873	unwind2_constructors.ma	blob \| history \| raw
-rw-r--r--	3156	unwind2_path.ma	blob \| history \| raw
-rw-r--r--	1994	unwind2_path_eq.ma	blob \| history \| raw
-rw-r--r--	1630	unwind2_path_lift.ma	blob \| history \| raw
-rw-r--r--	4679	unwind2_path_structure.ma	blob \| history \| raw
-rw-r--r--	3141	unwind2_preterm_eq.ma	blob \| history \| raw
-rw-r--r--	3001	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--	1627	unwind2_prototerm_lift.ma	blob \| history \| raw
-rw-r--r--	3306	unwind2_rmap.ma	blob \| history \| raw
-rw-r--r--	1564	unwind2_rmap_eq.ma	blob \| history \| raw
-rw-r--r--	3579	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--	9708	unwind_gen_structure.ma	blob \| history \| raw
-rw-r--r--	1265	xap.ma	blob \| history \| raw