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--	1362	btpredsn_8.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--	2018	fpn.etc	blob \| history \| raw
-rw-r--r--	3176	fpn_fpn.etc	blob \| history \| raw
-rw-r--r--	3270	fpns.etc	blob \| history \| raw
-rw-r--r--	3646	fpns_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--	1308	lazyeq_6.etc	blob \| history \| raw