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

drwxr-xr-x		..
-rw-r--r--	1439	ex_1_2.ma	blob \| history \| raw
-rw-r--r--	1553	ex_2_2.ma	blob \| history \| raw
-rw-r--r--	1639	ex_2_3.ma	blob \| history \| raw
-rw-r--r--	1547	ex_3_1.ma	blob \| history \| raw
-rw-r--r--	1667	ex_3_2.ma	blob \| history \| raw
-rw-r--r--	1785	ex_3_3.ma	blob \| history \| raw
-rw-r--r--	1903	ex_3_4.ma	blob \| history \| raw
-rw-r--r--	1629	ex_4_1.ma	blob \| history \| raw
-rw-r--r--	1781	ex_4_2.ma	blob \| history \| raw
-rw-r--r--	1931	ex_4_3.ma	blob \| history \| raw
-rw-r--r--	1115	false_0.ma	blob \| history \| raw
-rw-r--r--	1261	or_3.ma	blob \| history \| raw
-rw-r--r--	1114	true_0.ma	blob \| history \| raw