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

drwxr-xr-x		..
-rw-r--r--	1293	colon_6.ma	blob \| history \| raw
-rw-r--r--	1318	colonstar_7.ma	blob \| history \| raw
-rw-r--r--	1272	exclaim_5.ma	blob \| history \| raw
-rw-r--r--	1263	lrsubeqv_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--	1325	pconvstar_7.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--	1293	predeval_5.ma	blob \| history \| raw
-rw-r--r--	1313	predeval_6.ma	blob \| history \| raw
-rw-r--r--	1313	predevalwstar_6.ma	blob \| history \| raw
-rw-r--r--	1268	preditnormal_4.ma	blob \| history \| raw
-rw-r--r--	1271	prednormal_4.ma	blob \| history \| raw
-rw-r--r--	1257	predsn_4.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--	1293	pty_6.ma	blob \| history \| raw
-rw-r--r--	1298	ptystar_6.ma	blob \| history \| raw
-rw-r--r--	1249	topredtysnstrong_4.ma	blob \| history \| raw