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

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--	1193	dxbind1_2.ma	blob \| history \| raw
-rw-r--r--	1214	dxbind2_3.ma	blob \| history \| raw
-rw-r--r--	1193	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--	1179	item0_1.ma	blob \| history \| raw
-rw-r--r--	1172	lref_1.ma	blob \| history \| raw
-rw-r--r--	1223	snabbr_3.ma	blob \| history \| raw
-rw-r--r--	1205	snabbrneg_2.ma	blob \| history \| raw
-rw-r--r--	1205	snabbrpos_2.ma	blob \| history \| raw
-rw-r--r--	1223	snabst_3.ma	blob \| history \| raw
-rw-r--r--	1205	snabstneg_2.ma	blob \| history \| raw
-rw-r--r--	1205	snabstpos_2.ma	blob \| history \| raw
-rw-r--r--	1200	snappl_2.ma	blob \| history \| raw
-rw-r--r--	1242	snbind2_4.ma	blob \| history \| raw
-rw-r--r--	1227	snbind2neg_3.ma	blob \| history \| raw
-rw-r--r--	1227	snbind2pos_3.ma	blob \| history \| raw
-rw-r--r--	1200	sncast_2.ma	blob \| history \| raw
-rw-r--r--	1222	snflat2_3.ma	blob \| history \| raw
-rw-r--r--	1199	snitem2_2.ma	blob \| history \| raw
-rw-r--r--	1222	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