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

drwxr-xr-x		..
-rw-r--r--	1371	and_3.ma	blob \| history \| raw
-rw-r--r--	1389	and_4.ma	blob \| history \| raw
-rw-r--r--	1394	ex_1_2.ma	blob \| history \| raw
-rw-r--r--	1412	ex_1_3.ma	blob \| history \| raw
-rw-r--r--	1430	ex_1_4.ma	blob \| history \| raw
-rw-r--r--	1418	ex_2_2.ma	blob \| history \| raw
-rw-r--r--	1439	ex_2_3.ma	blob \| history \| raw
-rw-r--r--	1409	ex_3_1.ma	blob \| history \| raw
-rw-r--r--	1442	ex_3_2.ma	blob \| history \| raw
-rw-r--r--	1466	ex_3_3.ma	blob \| history \| raw
-rw-r--r--	1490	ex_3_4.ma	blob \| history \| raw
-rw-r--r--	1514	ex_3_5.ma	blob \| history \| raw
-rw-r--r--	1430	ex_4_1.ma	blob \| history \| raw
-rw-r--r--	1321	ex_4_1_props.ma	blob \| history \| raw
-rw-r--r--	1466	ex_4_2.ma	blob \| history \| raw
-rw-r--r--	1493	ex_4_3.ma	blob \| history \| raw
-rw-r--r--	1520	ex_4_4.ma	blob \| history \| raw
-rw-r--r--	1547	ex_4_5.ma	blob \| history \| raw
-rw-r--r--	1451	ex_5_1.ma	blob \| history \| raw
-rw-r--r--	1490	ex_5_2.ma	blob \| history \| raw
-rw-r--r--	1520	ex_5_3.ma	blob \| history \| raw
-rw-r--r--	1550	ex_5_4.ma	blob \| history \| raw
-rw-r--r--	1580	ex_5_5.ma	blob \| history \| raw
-rw-r--r--	1610	ex_5_6.ma	blob \| history \| raw
-rw-r--r--	1640	ex_5_7.ma	blob \| history \| raw
-rw-r--r--	1547	ex_6_3.ma	blob \| history \| raw
-rw-r--r--	1580	ex_6_4.ma	blob \| history \| raw
-rw-r--r--	1613	ex_6_5.ma	blob \| history \| raw
-rw-r--r--	1646	ex_6_6.ma	blob \| history \| raw
-rw-r--r--	1679	ex_6_7.ma	blob \| history \| raw
-rw-r--r--	1712	ex_6_8.ma	blob \| history \| raw
-rw-r--r--	1745	ex_6_9.ma	blob \| history \| raw
-rw-r--r--	1834	ex_7_10.ma	blob \| history \| raw
-rw-r--r--	1574	ex_7_3.ma	blob \| history \| raw
-rw-r--r--	1610	ex_7_4.ma	blob \| history \| raw
-rw-r--r--	1646	ex_7_5.ma	blob \| history \| raw
-rw-r--r--	1682	ex_7_6.ma	blob \| history \| raw
-rw-r--r--	1718	ex_7_7.ma	blob \| history \| raw
-rw-r--r--	1640	ex_8_4.ma	blob \| history \| raw
-rw-r--r--	1679	ex_8_5.ma	blob \| history \| raw
-rw-r--r--	1628	ex_9_3.ma	blob \| history \| raw
-rw-r--r--	1420	or_3.ma	blob \| history \| raw
-rw-r--r--	1471	or_4.ma	blob \| history \| raw
-rw-r--r--	1526	or_5.ma	blob \| history \| raw