matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	689	apart_2.ma	blob \| raw
-rw-r--r--	697	compose_2.ma	blob \| raw
-rw-r--r--	874	comprehension_2.ma	blob \| raw
-rw-r--r--	730	downarrow_1.ma	blob \| raw
-rw-r--r--	860	exp_2.ma	blob \| raw
-rw-r--r--	670	fact_1.ma	blob \| raw
-rw-r--r--	695	fintersects_2.ma	blob \| raw
-rw-r--r--	674	funion_2.ma	blob \| raw
-rw-r--r--	756	invert_1.ma	blob \| raw
-rw-r--r--	690	invert_appl_2.ma	blob \| raw
-rw-r--r--	696	napart_2.ma	blob \| raw
-rw-r--r--	700	pair_2.ma	blob \| raw
-rw-r--r--	669	singl_1.ma	blob \| raw
-rw-r--r--	826	subset_1.ma	blob \| raw
-rw-r--r--	708	subseteq_2.ma	blob \| raw
-rw-r--r--	656	uparrow_1.ma	blob \| raw