matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/lambda-delta/substitution/

drwxr-xr-x		..
-rw-r--r--	1827	drop_defs.ma	blob \| history \| raw
-rw-r--r--	2111	drop_main.ma	blob \| history \| raw
-rw-r--r--	7650	lift_defs.ma	blob \| history \| raw
-rw-r--r--	2628	lift_fun.ma	blob \| history \| raw
-rw-r--r--	6892	lift_main.ma	blob \| history \| raw
-rw-r--r--	5120	subst_defs.ma	blob \| history \| raw
-rw-r--r--	1811	thin_defs.ma	blob \| history \| raw
-rw-r--r--	2036	thin_main.ma	blob \| history \| raw