matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	11897	arith.ma	blob \| raw
-rw-r--r--	3124	arith_2a.ma	blob \| raw
-rw-r--r--	1997	arith_2b.ma	blob \| raw
-rw-r--r--	2217	bool.ma	blob \| raw
-rw-r--r--	1771	exteq.ma	blob \| raw
-rw-r--r--	1852	functions.ma	blob \| raw
-rw-r--r--	1585	list.ma	blob \| raw
-rw-r--r--	2091	list_eq.ma	blob \| raw
-rw-r--r--	2195	list_length.ma	blob \| raw
-rw-r--r--	1490	logic.ma	blob \| raw
-rw-r--r--	4607	ltc.ma	blob \| raw
-rw-r--r--	2073	ltc_ctc.ma	blob \| raw
-rw-r--r--	5711	relations.ma	blob \| raw
-rw-r--r--	11630	star.ma	blob \| raw
-rw-r--r--	1492	stream.ma	blob \| raw
-rw-r--r--	3118	stream_eq.ma	blob \| raw
-rw-r--r--	1729	stream_hdtl.ma	blob \| raw
-rw-r--r--	1848	stream_tls.ma	blob \| raw