matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground/notation/relations/

drwxr-xr-x		..
-rw-r--r--	1192	arroweq_2.ma	blob \| history \| raw
-rw-r--r--	1435	between_3.ma	blob \| history \| raw
-rw-r--r--	1478	circled_eq_4.ma	blob \| history \| raw
-rw-r--r--	1190	doteq_2.ma	blob \| history \| raw
-rw-r--r--	1432	epsilon_3.ma	blob \| history \| raw
-rw-r--r--	1453	not_between_3.ma	blob \| history \| raw
-rw-r--r--	1450	not_epsilon_3.ma	blob \| history \| raw
-rw-r--r--	1193	parallel_2.ma	blob \| history \| raw
-rw-r--r--	1188	predicate_f_1.ma	blob \| history \| raw
-rw-r--r--	1188	predicate_i_1.ma	blob \| history \| raw
-rw-r--r--	1208	predicate_m_2.ma	blob \| history \| raw
-rw-r--r--	1192	predicate_omega_1.ma	blob \| history \| raw
-rw-r--r--	1188	predicate_t_1.ma	blob \| history \| raw
-rw-r--r--	1208	predicate_t_2.ma	blob \| history \| raw
-rw-r--r--	1188	predicate_u_1.ma	blob \| history \| raw
-rw-r--r--	1214	rafter_3.ma	blob \| history \| raw
-rw-r--r--	1237	ratsection_3.ma	blob \| history \| raw
-rw-r--r--	1236	ratsharp_3.ma	blob \| history \| raw
-rw-r--r--	1217	rcoafter_3.ma	blob \| history \| raw
-rw-r--r--	1206	rfun_c_2.ma	blob \| history \| raw
-rw-r--r--	1444	ringeq_3.ma	blob \| history \| raw
-rw-r--r--	1221	rintersection_3.ma	blob \| history \| raw
-rw-r--r--	1214	rminus_3.ma	blob \| history \| raw
-rw-r--r--	1214	runion_3.ma	blob \| history \| raw