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

drwxr-xr-x		..
-rw-r--r--	1466	doteq_4.ma	blob \| history \| raw
-rw-r--r--	1189	ideq_2.ma	blob \| history \| raw
-rw-r--r--	1189	isdivergent_1.ma	blob \| history \| raw
-rw-r--r--	1186	isfinite_1.ma	blob \| history \| raw
-rw-r--r--	1188	isidentity_1.ma	blob \| history \| raw
-rw-r--r--	1201	ism_2.ma	blob \| history \| raw
-rw-r--r--	1181	ist_1.ma	blob \| history \| raw
-rw-r--r--	1201	ist_2.ma	blob \| history \| raw
-rw-r--r--	1187	isuniform_1.ma	blob \| history \| raw
-rw-r--r--	1193	parallel_2.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--	1217	rcoafter_3.ma	blob \| history \| raw
-rw-r--r--	1210	rcolength_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