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

drwxr-xr-x		..
-rw-r--r--	12062	arith.ma	blob \| history \| raw
-rw-r--r--	1901	arith_2b.ma	blob \| history \| raw
-rw-r--r--	2217	bool.ma	blob \| history \| raw
-rw-r--r--	1771	exteq.ma	blob \| history \| raw
-rw-r--r--	1852	functions.ma	blob \| history \| raw
-rw-r--r--	1585	list.ma	blob \| history \| raw
-rw-r--r--	2195	list_length.ma	blob \| history \| raw
-rw-r--r--	1490	logic.ma	blob \| history \| raw
-rw-r--r--	4607	ltc.ma	blob \| history \| raw
-rw-r--r--	2073	ltc_ctc.ma	blob \| history \| raw
-rw-r--r--	5785	relations.ma	blob \| history \| raw
-rw-r--r--	11630	star.ma	blob \| history \| raw
-rw-r--r--	1493	streams.ma	blob \| history \| raw
-rw-r--r--	3120	streams_eq.ma	blob \| history \| raw
-rw-r--r--	1731	streams_hdtl.ma	blob \| history \| raw
-rw-r--r--	1850	streams_tls.ma	blob \| history \| raw