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

drwxr-xr-x		..
-rw-r--r--	1201	and_2.ma	blob \| history \| raw
-rw-r--r--	1262	and_3.ma	blob \| history \| raw
-rw-r--r--	1285	and_4.ma	blob \| history \| raw
-rw-r--r--	1439	ex_1_2.ma	blob \| history \| raw
-rw-r--r--	1493	ex_1_3.ma	blob \| history \| raw
-rw-r--r--	1547	ex_1_4.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--	2021	ex_3_5.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--	2081	ex_4_4.ma	blob \| history \| raw
-rw-r--r--	2231	ex_4_5.ma	blob \| history \| raw
-rw-r--r--	1711	ex_5_1.ma	blob \| history \| raw
-rw-r--r--	1895	ex_5_2.ma	blob \| history \| raw
-rw-r--r--	2077	ex_5_3.ma	blob \| history \| raw
-rw-r--r--	2259	ex_5_4.ma	blob \| history \| raw
-rw-r--r--	2441	ex_5_5.ma	blob \| history \| raw
-rw-r--r--	2623	ex_5_6.ma	blob \| history \| raw
-rw-r--r--	2805	ex_5_7.ma	blob \| history \| raw
-rw-r--r--	2223	ex_6_3.ma	blob \| history \| raw
-rw-r--r--	2437	ex_6_4.ma	blob \| history \| raw
-rw-r--r--	2651	ex_6_5.ma	blob \| history \| raw
-rw-r--r--	2865	ex_6_6.ma	blob \| history \| raw
-rw-r--r--	3079	ex_6_7.ma	blob \| history \| raw
-rw-r--r--	3293	ex_6_8.ma	blob \| history \| raw
-rw-r--r--	3507	ex_6_9.ma	blob \| history \| raw
-rw-r--r--	4094	ex_7_10.ma	blob \| history \| raw
-rw-r--r--	2369	ex_7_3.ma	blob \| history \| raw
-rw-r--r--	2615	ex_7_4.ma	blob \| history \| raw
-rw-r--r--	2861	ex_7_5.ma	blob \| history \| raw
-rw-r--r--	3107	ex_7_6.ma	blob \| history \| raw
-rw-r--r--	3353	ex_7_7.ma	blob \| history \| raw
-rw-r--r--	3599	ex_7_8.ma	blob \| history \| raw
-rw-r--r--	3845	ex_7_9.ma	blob \| history \| raw
-rw-r--r--	4464	ex_8_10.ma	blob \| history \| raw
-rw-r--r--	2793	ex_8_4.ma	blob \| history \| raw
-rw-r--r--	3071	ex_8_5.ma	blob \| history \| raw
-rw-r--r--	2661	ex_9_3.ma	blob \| history \| raw
-rw-r--r--	1153	false_0.ma	blob \| history \| raw
-rw-r--r--	1200	or_2.ma	blob \| history \| raw
-rw-r--r--	1261	or_3.ma	blob \| history \| raw
-rw-r--r--	1284	or_4.ma	blob \| history \| raw
-rw-r--r--	1307	or_5.ma	blob \| history \| raw
-rw-r--r--	1152	true_0.ma	blob \| history \| raw