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

drwxr-xr-x		..
-rw-r--r--	1273	colon_5.ma	blob \| history \| raw
-rw-r--r--	1293	colon_6.ma	blob \| history \| raw
-rw-r--r--	1313	colon_7.ma	blob \| history \| raw
-rw-r--r--	1278	colonstar_5.ma	blob \| history \| raw
-rw-r--r--	1298	colonstar_6.ma	blob \| history \| raw
-rw-r--r--	1252	exclaim_4.ma	blob \| history \| raw
-rw-r--r--	1272	exclaim_5.ma	blob \| history \| raw
-rw-r--r--	1257	exclaimstar_4.ma	blob \| history \| raw
-rw-r--r--	1263	lrsubeqv_5.ma	blob \| history \| raw
-rw-r--r--	1265	lsubeqx_5.ma	blob \| history \| raw
-rw-r--r--	1275	pconv_5.ma	blob \| history \| raw
-rw-r--r--	1261	pconveta_4.ma	blob \| history \| raw
-rw-r--r--	1280	pconveta_5.ma	blob \| history \| raw
-rw-r--r--	1280	pconvstar_5.ma	blob \| history \| raw
-rw-r--r--	1275	pred_5.ma	blob \| history \| raw
-rw-r--r--	1295	pred_6.ma	blob \| history \| raw
-rw-r--r--	1257	predsn_4.ma	blob \| history \| raw
-rw-r--r--	1240	predsnstar_3.ma	blob \| history \| raw
-rw-r--r--	1262	predsnstar_4.ma	blob \| history \| raw
-rw-r--r--	1281	predstar_5.ma	blob \| history \| raw
-rw-r--r--	1300	predstar_6.ma	blob \| history \| raw
-rw-r--r--	1333	predsubty_7.ma	blob \| history \| raw
-rw-r--r--	1339	predsubtyproper_7.ma	blob \| history \| raw
-rw-r--r--	1337	predsubtystar_7.ma	blob \| history \| raw
-rw-r--r--	1341	predsubtystarproper_7.ma	blob \| history \| raw
-rw-r--r--	1265	predsubtystrong_4.ma	blob \| history \| raw
-rw-r--r--	1277	predty_5.ma	blob \| history \| raw
-rw-r--r--	1319	predty_7.ma	blob \| history \| raw
-rw-r--r--	1273	predtynormal_4.ma	blob \| history \| raw
-rw-r--r--	1259	predtysn_4.ma	blob \| history \| raw
-rw-r--r--	1280	predtysn_5.ma	blob \| history \| raw
-rw-r--r--	1264	predtysnstar_4.ma	blob \| history \| raw
-rw-r--r--	1261	predtysnstrong_4.ma	blob \| history \| raw
-rw-r--r--	1283	predtystar_5.ma	blob \| history \| raw
-rw-r--r--	1274	predtystrong_4.ma	blob \| history \| raw
-rw-r--r--	1276	predtywhead_4.ma	blob \| history \| raw