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

drwxr-xr-x		..
-rw-r--r--	13107	arith.ma	blob \| history \| raw
-rw-r--r--	3122	arith_2a.ma	blob \| history \| raw
-rw-r--r--	1995	arith_2b.ma	blob \| history \| raw
-rw-r--r--	2211	bool.ma	blob \| history \| raw
-rw-r--r--	1766	exteq.ma	blob \| history \| raw
-rw-r--r--	1850	functions.ma	blob \| history \| raw
-rw-r--r--	1579	list.ma	blob \| history \| raw
-rw-r--r--	2087	list_eq.ma	blob \| history \| raw
-rw-r--r--	2231	list_length.ma	blob \| history \| raw
-rw-r--r--	1451	logic.ma	blob \| history \| raw
-rw-r--r--	1255	lstar_2a.ma	blob \| history \| raw
-rw-r--r--	4603	ltc.ma	blob \| history \| raw
-rw-r--r--	2069	ltc_ctc.ma	blob \| history \| raw
-rw-r--r--	6238	relations.ma	blob \| history \| raw
-rw-r--r--	11628	star.ma	blob \| history \| raw
-rw-r--r--	1488	stream.ma	blob \| history \| raw
-rw-r--r--	3113	stream_eq.ma	blob \| history \| raw
-rw-r--r--	1723	stream_hdtl.ma	blob \| history \| raw
-rw-r--r--	1844	stream_tls.ma	blob \| history \| raw