]> matita.cs.unibo.it Git - helm.git/tree
627db767c6e1c54959927f9514ce6cbc04df76a3
-rw-r--r-- 697 compose_2.ma
-rw-r--r-- 874 comprehension_2.ma
-rw-r--r-- 730 downarrow_1.ma
-rw-r--r-- 670 fact_1.ma
-rw-r--r-- 695 fintersects_2.ma
-rw-r--r-- 674 funion_2.ma
-rw-r--r-- 669 singl_1.ma
-rw-r--r-- 826 subset_1.ma
-rw-r--r-- 656 uparrow_1.ma