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

drwxr-xr-x		..
-rw-r--r--	2130	bteq.etc	blob \| history \| raw
-rw-r--r--	1306	bteq_6.etc	blob \| history \| raw
-rw-r--r--	1739	bteq_bteq.etc	blob \| history \| raw
-rw-r--r--	550	fpb.etc	blob \| history \| raw
-rw-r--r--	1162	fpbc.etc	blob \| history \| raw
-rw-r--r--	1458	fpbs_conj.etc	blob \| history \| raw
-rw-r--r--	1992	fpn.etc	blob \| history \| raw
-rw-r--r--	2895	fpns.etc	blob \| history \| raw
-rw-r--r--	601	fqu.etc	blob \| history \| raw
-rw-r--r--	603	fsb.etc	blob \| history \| raw
-rw-r--r--	4805	fsb_alt.etc	blob \| history \| raw
-rw-r--r--	1356	predsn_8.etc	blob \| history \| raw
-rw-r--r--	1362	predsnstar_8.etc	blob \| history \| raw