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--	2842	exteq.ma	blob \| history \| raw
-rw-r--r--	1826	functions.ma	blob \| history \| raw
-rw-r--r--	1647	list.ma	blob \| history \| raw
-rw-r--r--	2721	list_append.ma	blob \| history \| raw
-rw-r--r--	2155	list_eq.ma	blob \| history \| raw
-rw-r--r--	2503	list_length.ma	blob \| history \| raw
-rw-r--r--	2443	list_rcons.ma	blob \| history \| raw
-rw-r--r--	1607	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--	2578	stream_eq.ma	blob \| history \| raw
-rw-r--r--	1695	stream_eq_eq.ma	blob \| history \| raw
-rw-r--r--	1830	stream_hdtl.ma	blob \| history \| raw
-rw-r--r--	1874	stream_tls.ma	blob \| history \| raw
-rw-r--r--	1448	stream_tls_eq.ma	blob \| history \| raw
-rw-r--r--	1660	subset.ma	blob \| history \| raw
-rw-r--r--	2226	subset_equivalence.ma	blob \| history \| raw
-rw-r--r--	1788	subset_ext.ma	blob \| history \| raw
-rw-r--r--	1474	subset_ext_equivalence.ma	blob \| history \| raw
-rw-r--r--	1640	subset_ext_inclusion.ma	blob \| history \| raw
-rw-r--r--	1629	subset_inclusion.ma	blob \| history \| raw