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--	1722	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--	1901	list.ma	blob \| history \| raw
-rw-r--r--	3399	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--	3611	list_rcons.ma	blob \| history \| raw
-rw-r--r--	1539	list_tl.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--	1832	stream_hdtl.ma	blob \| history \| raw
-rw-r--r--	1994	stream_hdtl_eq.ma	blob \| history \| raw
-rw-r--r--	2116	stream_tls.ma	blob \| history \| raw
-rw-r--r--	1413	stream_tls_eq.ma	blob \| history \| raw
-rw-r--r--	1370	stream_tls_plus.ma	blob \| history \| raw
-rw-r--r--	1660	subset.ma	blob \| history \| raw
-rw-r--r--	2483	subset_equivalence.ma	blob \| history \| raw
-rw-r--r--	2437	subset_ext.ma	blob \| history \| raw
-rw-r--r--	2278	subset_ext_equivalence.ma	blob \| history \| raw
-rw-r--r--	2771	subset_ext_inclusion.ma	blob \| history \| raw
-rw-r--r--	1629	subset_inclusion.ma	blob \| history \| raw
-rw-r--r--	1708	subset_overlap.ma	blob \| history \| raw