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

drwxr-xr-x		..
-rw-r--r--	1766	fpa.etc	blob \| history \| raw
-rw-r--r--	1294	fpa_fpa.etc	blob \| history \| raw
-rw-r--r--	2924	fpas.etc	blob \| history \| raw
-rw-r--r--	2201	fpas_fpas.etc	blob \| history \| raw
-rw-r--r--	2769	fpas_vector.etc	blob \| history \| raw
-rw-r--r--	2337	gcp.etc	blob \| history \| raw
-rw-r--r--	8303	gcp_cr.etc	blob \| history \| raw
-rw-r--r--	1287	rajust_5.etc	blob \| history \| raw
-rw-r--r--	1293	rajuststar_5.etc	blob \| history \| raw