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--	2797	exteq.ma	blob \| history \| raw
-rw-r--r--	1850	functions.ma	blob \| history \| raw
-rw-r--r--	1618	list.ma	blob \| history \| raw
-rw-r--r--	2119	list_eq.ma	blob \| history \| raw
-rw-r--r--	2380	list_length.ma	blob \| history \| raw
-rw-r--r--	1539	logic.ma	blob \| history \| raw
-rw-r--r--	1517	lstar_2a.ma	blob \| history \| raw
-rw-r--r--	4603	ltc.ma	blob \| history \| raw
-rw-r--r--	2083	ltc_ctc.ma	blob \| history \| raw
-rw-r--r--	6155	relations.ma	blob \| history \| raw
-rw-r--r--	11625	star.ma	blob \| history \| raw
-rw-r--r--	1766	stream.ma	blob \| history \| raw
-rw-r--r--	3097	stream_eq.ma	blob \| history \| raw
-rw-r--r--	1781	stream_hdtl.ma	blob \| history \| raw
-rw-r--r--	2072	stream_tls.ma	blob \| history \| raw