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

drwxr-xr-x		..
-rw-r--r--	1183	dxabbr_2.ma	blob \| history \| raw
-rw-r--r--	1183	dxabst_2.ma	blob \| history \| raw
-rw-r--r--	1192	dxbind1_2.ma	blob \| history \| raw
-rw-r--r--	1213	dxbind2_3.ma	blob \| history \| raw
-rw-r--r--	1192	dxitem_2.ma	blob \| history \| raw
-rw-r--r--	1169	dxvoid_1.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--	1178	item0_1.ma	blob \| history \| raw
-rw-r--r--	1172	lref_1.ma	blob \| history \| raw
-rw-r--r--	1154	omega_0.ma	blob \| history \| raw
-rw-r--r--	1152	one_0.ma	blob \| history \| raw
-rw-r--r--	1196	snabbr_2.ma	blob \| history \| raw
-rw-r--r--	1222	snabbr_3.ma	blob \| history \| raw
-rw-r--r--	1204	snabbrneg_2.ma	blob \| history \| raw
-rw-r--r--	1204	snabbrpos_2.ma	blob \| history \| raw
-rw-r--r--	1196	snabst_2.ma	blob \| history \| raw
-rw-r--r--	1222	snabst_3.ma	blob \| history \| raw
-rw-r--r--	1204	snabstneg_2.ma	blob \| history \| raw
-rw-r--r--	1204	snabstpos_2.ma	blob \| history \| raw
-rw-r--r--	1200	snappl_2.ma	blob \| history \| raw
-rw-r--r--	1204	snapplvector_2.ma	blob \| history \| raw
-rw-r--r--	1200	snbind1_2.ma	blob \| history \| raw
-rw-r--r--	1219	snbind2_3.ma	blob \| history \| raw
-rw-r--r--	1241	snbind2_4.ma	blob \| history \| raw
-rw-r--r--	1225	snbind2neg_3.ma	blob \| history \| raw
-rw-r--r--	1225	snbind2pos_3.ma	blob \| history \| raw
-rw-r--r--	1200	sncast_2.ma	blob \| history \| raw
-rw-r--r--	1221	snflat2_3.ma	blob \| history \| raw
-rw-r--r--	1199	snitem2_2.ma	blob \| history \| raw
-rw-r--r--	1221	snitem2_3.ma	blob \| history \| raw
-rw-r--r--	1199	snitem_2.ma	blob \| history \| raw
-rw-r--r--	1177	snvoid_1.ma	blob \| history \| raw
-rw-r--r--	1152	star_0.ma	blob \| history \| raw
-rw-r--r--	1174	star_1.ma	blob \| history \| raw
-rw-r--r--	1152	two_0.ma	blob \| history \| raw
-rw-r--r--	1188	uparrow_1_0.ma	blob \| history \| raw
-rw-r--r--	1207	uparrowstar_2_0.ma	blob \| history \| raw
-rw-r--r--	1183	weight_1.ma	blob \| history \| raw
-rw-r--r--	1203	weight_2.ma	blob \| history \| raw
-rw-r--r--	1223	weight_3.ma	blob \| history \| raw