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

drwxr-xr-x		..
-rw-r--r--	1196	at_2.ma	blob \| history \| raw
-rw-r--r--	1197	black_halfcircleleft_2.ma	blob \| history \| raw
-rw-r--r--	1199	black_halfcircleright_2.ma	blob \| history \| raw
-rw-r--r--	1182	circled_times_1.ma	blob \| history \| raw
-rw-r--r--	1171	class_d_phi_0.ma	blob \| history \| raw
-rw-r--r--	1168	edgelabel_a_0.ma	blob \| history \| raw
-rw-r--r--	1168	edgelabel_l_0.ma	blob \| history \| raw
-rw-r--r--	1168	edgelabel_s_0.ma	blob \| history \| raw
-rw-r--r--	1178	hash_1.ma	blob \| history \| raw
-rw-r--r--	1184	lamda_1.ma	blob \| history \| raw
-rw-r--r--	1194	nodelabel_d_1.ma	blob \| history \| raw
-rw-r--r--	1200	phi_2.ma	blob \| history \| raw
-rw-r--r--	1183	pitchfork_2.ma	blob \| history \| raw
-rw-r--r--	1226	pitchforkleftarrow_3.ma	blob \| history \| raw
-rw-r--r--	1205	uparrow_2.ma	blob \| history \| raw
-rw-r--r--	1547	uparrow_4.ma	blob \| history \| raw
-rw-r--r--	1180	uptriangle_1.ma	blob \| history \| raw