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

drwxr-xr-x		..
-rw-r--r--	1457	and_3.ma	blob \| history \| raw
-rw-r--r--	1475	and_4.ma	blob \| history \| raw
-rw-r--r--	1480	ex_1_2.ma	blob \| history \| raw
-rw-r--r--	1498	ex_1_3.ma	blob \| history \| raw
-rw-r--r--	1516	ex_1_4.ma	blob \| history \| raw
-rw-r--r--	1504	ex_2_2.ma	blob \| history \| raw
-rw-r--r--	1525	ex_2_3.ma	blob \| history \| raw
-rw-r--r--	1495	ex_3_1.ma	blob \| history \| raw
-rw-r--r--	1528	ex_3_2.ma	blob \| history \| raw
-rw-r--r--	1552	ex_3_3.ma	blob \| history \| raw
-rw-r--r--	1576	ex_3_4.ma	blob \| history \| raw
-rw-r--r--	1600	ex_3_5.ma	blob \| history \| raw
-rw-r--r--	1624	ex_3_6.ma	blob \| history \| raw
-rw-r--r--	1516	ex_4_1.ma	blob \| history \| raw
-rw-r--r--	1401	ex_4_1_props.ma	blob \| history \| raw
-rw-r--r--	1552	ex_4_2.ma	blob \| history \| raw
-rw-r--r--	1579	ex_4_3.ma	blob \| history \| raw
-rw-r--r--	1606	ex_4_4.ma	blob \| history \| raw
-rw-r--r--	1633	ex_4_5.ma	blob \| history \| raw
-rw-r--r--	1537	ex_5_1.ma	blob \| history \| raw
-rw-r--r--	1576	ex_5_2.ma	blob \| history \| raw
-rw-r--r--	1606	ex_5_3.ma	blob \| history \| raw
-rw-r--r--	1636	ex_5_4.ma	blob \| history \| raw
-rw-r--r--	1666	ex_5_5.ma	blob \| history \| raw
-rw-r--r--	1696	ex_5_6.ma	blob \| history \| raw
-rw-r--r--	1726	ex_5_7.ma	blob \| history \| raw
-rw-r--r--	1633	ex_6_3.ma	blob \| history \| raw
-rw-r--r--	1666	ex_6_4.ma	blob \| history \| raw
-rw-r--r--	1699	ex_6_5.ma	blob \| history \| raw
-rw-r--r--	1732	ex_6_6.ma	blob \| history \| raw
-rw-r--r--	1765	ex_6_7.ma	blob \| history \| raw
-rw-r--r--	1798	ex_6_8.ma	blob \| history \| raw
-rw-r--r--	1831	ex_6_9.ma	blob \| history \| raw
-rw-r--r--	1920	ex_7_10.ma	blob \| history \| raw
-rw-r--r--	1660	ex_7_3.ma	blob \| history \| raw
-rw-r--r--	1696	ex_7_4.ma	blob \| history \| raw
-rw-r--r--	1732	ex_7_5.ma	blob \| history \| raw
-rw-r--r--	1768	ex_7_6.ma	blob \| history \| raw
-rw-r--r--	1804	ex_7_7.ma	blob \| history \| raw
-rw-r--r--	1726	ex_8_4.ma	blob \| history \| raw
-rw-r--r--	1765	ex_8_5.ma	blob \| history \| raw
-rw-r--r--	1714	ex_9_3.ma	blob \| history \| raw
-rw-r--r--	1504	or_3.ma	blob \| history \| raw
-rw-r--r--	1554	or_4.ma	blob \| history \| raw
-rw-r--r--	1608	or_5.ma	blob \| history \| raw