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

drwxr-xr-x		..
-rw-r--r--	1197	at_2.ma	blob \| history \| raw
-rw-r--r--	1204	black_diamond_2.ma	blob \| history \| raw
-rw-r--r--	1187	black_downtriangle_1.ma	blob \| history \| raw
-rw-r--r--	1209	black_downtriangle_2.ma	blob \| history \| raw
-rw-r--r--	1188	black_righttriangle_1.ma	blob \| history \| raw
-rw-r--r--	1210	black_righttriangle_2.ma	blob \| history \| raw
-rw-r--r--	1182	circled_times_1.ma	blob \| history \| raw
-rw-r--r--	1164	class_b_0.ma	blob \| history \| raw
-rw-r--r--	1184	class_c_1.ma	blob \| history \| raw
-rw-r--r--	1171	class_d_phi_0.ma	blob \| history \| raw
-rw-r--r--	1164	class_i_0.ma	blob \| history \| raw
-rw-r--r--	1164	class_p_0.ma	blob \| history \| raw
-rw-r--r--	1164	class_t_0.ma	blob \| history \| raw
-rw-r--r--	1206	downarrowright_2.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--	1174	flat_1.ma	blob \| history \| raw
-rw-r--r--	1180	hash_1.ma	blob \| history \| raw
-rw-r--r--	1183	lamda_1.ma	blob \| history \| raw
-rw-r--r--	1181	m_hook_1.ma	blob \| history \| raw
-rw-r--r--	1166	nec_r_1.ma	blob \| history \| raw
-rw-r--r--	1187	nodelabel_d_1.ma	blob \| history \| raw
-rw-r--r--	1168	nodelabel_m_0.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--	1182	power_2.ma	blob \| history \| raw
-rw-r--r--	1181	sharp_1.ma	blob \| history \| raw
-rw-r--r--	1204	uparrow_2.ma	blob \| history \| raw
-rw-r--r--	1543	uparrow_4.ma	blob \| history \| raw
-rw-r--r--	1180	uptriangle_1.ma	blob \| history \| raw