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

drwxr-xr-x		..
-rw-r--r--	6067	csup.etc	blob \| history \| raw
-rw-r--r--	2354	csup_csup.etc	blob \| history \| raw
-rw-r--r--	3109	csupp.etc	blob \| history \| raw
-rw-r--r--	1261	csupp_csupp.etc	blob \| history \| raw
-rw-r--r--	4842	csups.etc	blob \| history \| raw
-rw-r--r--	2621	csups_csups.etc	blob \| history \| raw
-rw-r--r--	2032	ypr.etc	blob \| history \| raw
-rw-r--r--	2855	yprs.etc	blob \| history \| raw
-rw-r--r--	1451	yprs_csups.etc	blob \| history \| raw
-rw-r--r--	1550	yprs_xprs.etc	blob \| history \| raw
-rw-r--r--	1198	yprs_yprs.etc	blob \| history \| raw
-rw-r--r--	2261	ysteps.etc	blob \| history \| raw
-rw-r--r--	1522	ysteps_csups.etc	blob \| history \| raw