matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/lambda/xoa/

drwxr-xr-x		..
-rw-r--r--	1394	ex_1_2.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--	1430	ex_4_1.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--	1420	or_3.ma	blob \| history \| raw