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--	1547	ex_1_4.ma	blob \| history \| raw
-rw-r--r--	1711	ex_5_1.ma	blob \| history \| raw
-rw-r--r--	2805	ex_5_7.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--	51821	notation.ma	blob \| history \| raw
-rw-r--r--	1200	or_2.ma	blob \| history \| raw
-rw-r--r--	1152	true_0.ma	blob \| history \| raw