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--	1274	pred_5.ma	blob \| history \| raw
-rw-r--r--	1294	pred_6.ma	blob \| history \| raw
-rw-r--r--	1291	predeval_5.ma	blob \| history \| raw
-rw-r--r--	1311	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--	1269	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--	1279	predstar_5.ma	blob \| history \| raw
-rw-r--r--	1299	predstar_6.ma	blob \| history \| raw
-rw-r--r--	1332	predsubty_7.ma	blob \| history \| raw
-rw-r--r--	1338	predsubtyproper_7.ma	blob \| history \| raw
-rw-r--r--	1336	predsubtystar_7.ma	blob \| history \| raw
-rw-r--r--	1340	predsubtystarproper_7.ma	blob \| history \| raw
-rw-r--r--	1263	predsubtystrong_4.ma	blob \| history \| raw
-rw-r--r--	1276	predty_5.ma	blob \| history \| raw
-rw-r--r--	1318	predty_7.ma	blob \| history \| raw
-rw-r--r--	1271	predtynormal_4.ma	blob \| history \| raw
-rw-r--r--	1259	predtysn_4.ma	blob \| history \| raw
-rw-r--r--	1279	predtysn_5.ma	blob \| history \| raw
-rw-r--r--	1264	predtysnstar_4.ma	blob \| history \| raw
-rw-r--r--	1258	predtysnstrong_4.ma	blob \| history \| raw
-rw-r--r--	1281	predtystar_5.ma	blob \| history \| raw
-rw-r--r--	1271	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