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

-rw-r--r--	2022	gdrop.ma	blob \| raw
-rw-r--r--	9283	ldrop.ma	blob \| raw
-rw-r--r--	5488	ldrop_ldrop.ma	blob \| raw
-rw-r--r--	13477	lift.ma	blob \| raw
-rw-r--r--	8047	lift_lift.ma	blob \| raw
-rw-r--r--	7629	ltps.ma	blob \| raw
-rw-r--r--	6273	ltps_ldrop.ma	blob \| raw
-rw-r--r--	6063	ltps_tps.ma	blob \| raw
-rw-r--r--	9581	tps.ma	blob \| raw
-rw-r--r--	15127	tps_lift.ma	blob \| raw
-rw-r--r--	6580	tps_tps.ma	blob \| raw