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

drwxr-xr-x		..
-rw-r--r--	1201	and_2.ma	blob \| history \| raw
-rw-r--r--	1352	and_3.ma	blob \| history \| raw
-rw-r--r--	1375	and_4.ma	blob \| history \| raw
-rw-r--r--	1530	ex_1_2.ma	blob \| history \| raw
-rw-r--r--	1584	ex_1_3.ma	blob \| history \| raw
-rw-r--r--	1638	ex_1_4.ma	blob \| history \| raw
-rw-r--r--	1644	ex_2_2.ma	blob \| history \| raw
-rw-r--r--	1730	ex_2_3.ma	blob \| history \| raw
-rw-r--r--	1638	ex_3_1.ma	blob \| history \| raw
-rw-r--r--	1758	ex_3_2.ma	blob \| history \| raw
-rw-r--r--	1876	ex_3_3.ma	blob \| history \| raw
-rw-r--r--	1994	ex_3_4.ma	blob \| history \| raw
-rw-r--r--	2112	ex_3_5.ma	blob \| history \| raw
-rw-r--r--	2230	ex_3_6.ma	blob \| history \| raw
-rw-r--r--	1720	ex_4_1.ma	blob \| history \| raw
-rw-r--r--	1872	ex_4_2.ma	blob \| history \| raw
-rw-r--r--	2022	ex_4_3.ma	blob \| history \| raw
-rw-r--r--	2172	ex_4_4.ma	blob \| history \| raw
-rw-r--r--	2322	ex_4_5.ma	blob \| history \| raw
-rw-r--r--	1802	ex_5_1.ma	blob \| history \| raw
-rw-r--r--	1986	ex_5_2.ma	blob \| history \| raw
-rw-r--r--	2168	ex_5_3.ma	blob \| history \| raw
-rw-r--r--	2350	ex_5_4.ma	blob \| history \| raw
-rw-r--r--	2532	ex_5_5.ma	blob \| history \| raw
-rw-r--r--	2714	ex_5_6.ma	blob \| history \| raw
-rw-r--r--	2896	ex_5_7.ma	blob \| history \| raw
-rw-r--r--	2314	ex_6_3.ma	blob \| history \| raw
-rw-r--r--	2528	ex_6_4.ma	blob \| history \| raw
-rw-r--r--	2742	ex_6_5.ma	blob \| history \| raw
-rw-r--r--	2956	ex_6_6.ma	blob \| history \| raw
-rw-r--r--	3170	ex_6_7.ma	blob \| history \| raw
-rw-r--r--	3384	ex_6_8.ma	blob \| history \| raw
-rw-r--r--	3598	ex_6_9.ma	blob \| history \| raw
-rw-r--r--	4185	ex_7_10.ma	blob \| history \| raw
-rw-r--r--	2460	ex_7_3.ma	blob \| history \| raw
-rw-r--r--	2706	ex_7_4.ma	blob \| history \| raw
-rw-r--r--	2952	ex_7_5.ma	blob \| history \| raw
-rw-r--r--	3198	ex_7_6.ma	blob \| history \| raw
-rw-r--r--	3444	ex_7_7.ma	blob \| history \| raw
-rw-r--r--	2884	ex_8_4.ma	blob \| history \| raw
-rw-r--r--	3162	ex_8_5.ma	blob \| history \| raw
-rw-r--r--	2752	ex_9_3.ma	blob \| history \| raw
-rw-r--r--	1151	false_0.ma	blob \| history \| raw
-rw-r--r--	1200	or_2.ma	blob \| history \| raw
-rw-r--r--	1350	or_3.ma	blob \| history \| raw
-rw-r--r--	1373	or_4.ma	blob \| history \| raw
-rw-r--r--	1396	or_5.ma	blob \| history \| raw
-rw-r--r--	1150	true_0.ma	blob \| history \| raw