matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	3291	cpx_leq.etc	blob \| history \| raw
-rw-r--r--	1236	iso_4.etc	blob \| history \| raw
-rw-r--r--	4760	ldrop_leq.etc	blob \| history \| raw
-rw-r--r--	3391	leq.etc	blob \| history \| raw
-rw-r--r--	2720	leq_nat.etc	blob \| history \| raw
-rw-r--r--	2284	leq_old.etc	blob \| history \| raw
-rw-r--r--	2577	leqdx.etc	blob \| history \| raw
-rw-r--r--	1217	leqdx_3.etc	blob \| history \| raw
-rw-r--r--	6874	lpx_leq.etc	blob \| history \| raw