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

drwxr-xr-x		..
-rw-r--r--	1474	doteq_4.ma	blob \| history \| raw
-rw-r--r--	1189	ideq_2.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--	1226	rat_3.ma	blob \| history \| raw
-rw-r--r--	1233	ratsucc_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