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

-rw-r--r--	1763	deq.ma	blob \| raw
-rw-r--r--	3933	deq_cpr.ma	blob \| raw
-rw-r--r--	5393	li.ma	blob \| raw
-rw-r--r--	2066	model.ma	blob \| raw
-rw-r--r--	5406	model_props.ma	blob \| raw
-rw-r--r--	1798	model_vpush.ma	blob \| raw
-rw-r--r--	2156	tm.ma	blob \| raw
-rw-r--r--	3334	tm_props.ma	blob \| raw
-rw-r--r--	1490	tm_vpush.ma	blob \| raw
-rw-r--r--	3863	veq.ma	blob \| raw
-rw-r--r--	3248	veq_lifts.ma	blob \| raw
-rw-r--r--	5641	vpushs.ma	blob \| raw
-rw-r--r--	3206	vpushs_fold.ma	blob \| raw