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

drwxr-xr-x		..
-rw-r--r--	1186	dxabbr_2.ma	blob \| history \| raw
-rw-r--r--	1186	dxabst_2.ma	blob \| history \| raw
-rw-r--r--	1348	dxbind2_3.ma	blob \| history \| raw
-rw-r--r--	1173	gref_1.ma	blob \| history \| raw
-rw-r--r--	1153	item0_0.ma	blob \| history \| raw
-rw-r--r--	1179	item0_1.ma	blob \| history \| raw
-rw-r--r--	1172	lref_1.ma	blob \| history \| raw
-rw-r--r--	1224	snabbr_3.ma	blob \| history \| raw
-rw-r--r--	1206	snabbrneg_2.ma	blob \| history \| raw
-rw-r--r--	1206	snabbrpos_2.ma	blob \| history \| raw
-rw-r--r--	1224	snabst_3.ma	blob \| history \| raw
-rw-r--r--	1206	snabstneg_2.ma	blob \| history \| raw
-rw-r--r--	1206	snabstpos_2.ma	blob \| history \| raw
-rw-r--r--	1201	snappl_2.ma	blob \| history \| raw
-rw-r--r--	1244	snbind2_4.ma	blob \| history \| raw
-rw-r--r--	1228	snbind2neg_3.ma	blob \| history \| raw
-rw-r--r--	1228	snbind2pos_3.ma	blob \| history \| raw
-rw-r--r--	1201	sncast_2.ma	blob \| history \| raw
-rw-r--r--	1223	snflat2_3.ma	blob \| history \| raw
-rw-r--r--	1200	snitem2_2.ma	blob \| history \| raw
-rw-r--r--	1223	snitem2_3.ma	blob \| history \| raw
-rw-r--r--	1152	star_0.ma	blob \| history \| raw
-rw-r--r--	1174	star_1.ma	blob \| history \| raw