matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/lambda/notation/functions/

drwxr-xr-x		..
-rw-r--r--	1104	abstraction_1.ma	blob \| history \| raw
-rw-r--r--	1126	abstraction_2.ma	blob \| history \| raw
-rw-r--r--	1132	annotatedabstraction_2.ma	blob \| history \| raw
-rw-r--r--	1120	application_2.ma	blob \| history \| raw
-rw-r--r--	1143	application_3.ma	blob \| history \| raw
-rw-r--r--	1098	backward_1.ma	blob \| history \| raw
-rw-r--r--	1142	backward_3.ma	blob \| history \| raw
-rw-r--r--	1308	dsubst_3.ma	blob \| history \| raw
-rw-r--r--	1097	forward_1.ma	blob \| history \| raw
-rw-r--r--	1140	forward_3.ma	blob \| history \| raw
-rw-r--r--	1098	hocons_2.ma	blob \| history \| raw
-rw-r--r--	1357	lift_3.ma	blob \| history \| raw
-rw-r--r--	1105	multiplicity_1.ma	blob \| history \| raw
-rw-r--r--	1123	nil_0.ma	blob \| history \| raw
-rw-r--r--	1099	projectdown_1.ma	blob \| history \| raw
-rw-r--r--	1123	projectsame_2.ma	blob \| history \| raw
-rw-r--r--	1121	projectup_2.ma	blob \| history \| raw
-rw-r--r--	1112	variablereferencebyindex_1.ma	blob \| history \| raw
-rw-r--r--	1135	variablereferencebyindex_2.ma	blob \| history \| raw
-rw-r--r--	1136	variablereferencebylevel_2.ma	blob \| history \| raw