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

drwxr-xr-x		..
-rw-r--r--	4235	lsubn.ma	blob \| history \| raw
-rw-r--r--	2765	lsubn_ldrop.ma	blob \| history \| raw
-rw-r--r--	2071	lsubn_nta.ma	blob \| history \| raw
-rw-r--r--	2608	nta.ma	blob \| history \| raw
-rw-r--r--	9084	nta_alt.ma	blob \| history \| raw
-rw-r--r--	6650	nta_lift.ma	blob \| history \| raw
-rw-r--r--	6766	nta_ltpss.ma	blob \| history \| raw
-rw-r--r--	2881	nta_nta.ma	blob \| history \| raw
-rw-r--r--	2524	nta_sta.ma	blob \| history \| raw
-rw-r--r--	7115	nta_thin.ma	blob \| history \| raw