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

drwxr-xr-x		..
-rw-r--r--	1542	bool.ma	blob \| history \| raw
-rw-r--r--	1602	bool_and.ma	blob \| history \| raw
-rw-r--r--	1596	bool_or.ma	blob \| history \| raw
-rw-r--r--	2833	exteq.ma	blob \| history \| raw
-rw-r--r--	1826	functions.ma	blob \| history \| raw
-rw-r--r--	1618	list.ma	blob \| history \| raw
-rw-r--r--	2149	list_eq.ma	blob \| history \| raw
-rw-r--r--	2380	list_length.ma	blob \| history \| raw
-rw-r--r--	1545	logic.ma	blob \| history \| raw
-rw-r--r--	1517	lstar_2a.ma	blob \| history \| raw
-rw-r--r--	4363	ltc.ma	blob \| history \| raw
-rw-r--r--	2043	ltc_ctc.ma	blob \| history \| raw
-rw-r--r--	6171	relations.ma	blob \| history \| raw
-rw-r--r--	11131	star.ma	blob \| history \| raw
-rw-r--r--	1794	stream.ma	blob \| history \| raw
-rw-r--r--	2555	stream_eq.ma	blob \| history \| raw
-rw-r--r--	1695	stream_eq_eq.ma	blob \| history \| raw
-rw-r--r--	1693	stream_hdtl.ma	blob \| history \| raw
-rw-r--r--	1860	stream_tls.ma	blob \| history \| raw
-rw-r--r--	1448	stream_tls_eq.ma	blob \| history \| raw