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

-rw-r--r--	1761	deq.ma	blob \| raw
-rw-r--r--	3933	deq_cpr.ma	blob \| raw
-rw-r--r--	5391	li.ma	blob \| raw
-rw-r--r--	2064	model.ma	blob \| raw
-rw-r--r--	5380	model_props.ma	blob \| raw
-rw-r--r--	1796	model_vpush.ma	blob \| raw
-rw-r--r--	2155	tm.ma	blob \| raw
-rw-r--r--	3334	tm_props.ma	blob \| raw
-rw-r--r--	1457	tm_vpush.ma	blob \| raw
-rw-r--r--	3860	veq.ma	blob \| raw
-rw-r--r--	3241	veq_lifts.ma	blob \| raw
-rw-r--r--	5637	vpushs.ma	blob \| raw
-rw-r--r--	3197	vpushs_fold.ma	blob \| raw