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

drwxr-xr-x		..
-rw-r--r--	1199	at_2.ma	blob \| history \| raw
-rw-r--r--	1215	black_downtriangle_2.ma	blob \| history \| raw
-rw-r--r--	1216	black_righttriangle_2.ma	blob \| history \| raw
-rw-r--r--	1188	circled_times_1.ma	blob \| history \| raw
-rw-r--r--	1164	class_b_0.ma	blob \| history \| raw
-rw-r--r--	1210	class_c_2.ma	blob \| history \| raw
-rw-r--r--	1171	class_d_tau_0.ma	blob \| history \| raw
-rw-r--r--	1164	class_g_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--	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--	1180	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--	1187	nodelabel_d_1.ma	blob \| history \| raw
-rw-r--r--	1168	nodelabel_m_0.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--	1222	righttrianglearrow_2.ma	blob \| history \| raw
-rw-r--r--	1201	tau_2.ma	blob \| history \| raw
-rw-r--r--	1186	uptriangle_1.ma	blob \| history \| raw
-rw-r--r--	1219	uptrianglearrow_2.ma	blob \| history \| raw