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--	1324	pconvstar_7.ma	blob \| history \| raw
-rw-r--r--	1294	pred_6.ma	blob \| history \| raw
-rw-r--r--	1303	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--	1281	prednormal_5.ma	blob \| history \| raw
-rw-r--r--	1277	predsn_5.ma	blob \| history \| raw
-rw-r--r--	1282	predsnstar_5.ma	blob \| history \| raw
-rw-r--r--	1299	predstar_6.ma	blob \| history \| raw
-rw-r--r--	1310	predsubty_6.ma	blob \| history \| raw
-rw-r--r--	1316	predsubtyproper_6.ma	blob \| history \| raw
-rw-r--r--	1314	predsubtystar_6.ma	blob \| history \| raw
-rw-r--r--	1318	predsubtystarproper_6.ma	blob \| history \| raw
-rw-r--r--	1246	predsubtystrong_3.ma	blob \| history \| raw
-rw-r--r--	1254	predty_4.ma	blob \| history \| raw
-rw-r--r--	1320	predty_7.ma	blob \| history \| raw
-rw-r--r--	1241	predtynormal_3.ma	blob \| history \| raw
-rw-r--r--	1237	predtysn_3.ma	blob \| history \| raw
-rw-r--r--	1259	predtysn_4.ma	blob \| history \| raw
-rw-r--r--	1242	predtysnstar_3.ma	blob \| history \| raw
-rw-r--r--	1230	predtysnstrong_3.ma	blob \| history \| raw
-rw-r--r--	1259	predtystar_4.ma	blob \| history \| raw
-rw-r--r--	1241	predtystrong_3.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--	1228	topredtysnstrong_3.ma	blob \| history \| raw