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

drwxr-xr-x		..
-rw-r--r--	7800	lsubsv.ma	blob \| history \| raw
-rw-r--r--	1463	lsubsv_cpcs.ma	blob \| history \| raw
-rw-r--r--	5085	lsubsv_lstas.ma	blob \| history \| raw
-rw-r--r--	1729	lsubsv_lsuba.ma	blob \| history \| raw
-rw-r--r--	1408	lsubsv_lsubd.ma	blob \| history \| raw
-rw-r--r--	1895	lsubsv_scpds.ma	blob \| history \| raw
-rw-r--r--	2413	lsubsv_snv.ma	blob \| history \| raw
-rw-r--r--	6740	nv.ma	blob \| history \| raw
-rw-r--r--	2196	nv_aaa.ma	blob \| history \| raw
-rw-r--r--	6196	nv_drops.ma	blob \| history \| raw
-rw-r--r--	3001	nv_fqus.ma	blob \| history \| raw
-rw-r--r--	1455	nv_fsb.ma	blob \| history \| raw
-rw-r--r--	49	partial.txt	blob \| history \| raw
-rw-r--r--	2860	shnv.ma	blob \| history \| raw
-rw-r--r--	5017	snv_da_lpr.ma	blob \| history \| raw
-rw-r--r--	7339	snv_lpr.ma	blob \| history \| raw
-rw-r--r--	3725	snv_lstas.ma	blob \| history \| raw
-rw-r--r--	8517	snv_lstas_lpr.ma	blob \| history \| raw
-rw-r--r--	4855	snv_preserve.ma	blob \| history \| raw
-rw-r--r--	13917	snv_scpes.ma	blob \| history \| raw