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--	1285	lsubeqx_6.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--	1353	predsubty_8.ma	blob \| history \| raw
-rw-r--r--	1359	predsubtyproper_8.ma	blob \| history \| raw
-rw-r--r--	1357	predsubtystar_8.ma	blob \| history \| raw
-rw-r--r--	1361	predsubtystarproper_8.ma	blob \| history \| raw
-rw-r--r--	1285	predsubtystrong_5.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--	1293	predtynormal_5.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--	1281	predtysnstrong_5.ma	blob \| history \| raw
-rw-r--r--	1283	predtystar_5.ma	blob \| history \| raw
-rw-r--r--	1295	predtystrong_5.ma	blob \| history \| raw
-rw-r--r--	1276	predtywhead_4.ma	blob \| history \| raw