matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	2916	bool.ma	blob \| raw
-rw-r--r--	10004	core_notation.ma	blob \| raw
-rw-r--r--	2754	deqsets.ma	blob \| raw
-rw-r--r--	3175	hints_declaration.ma	blob \| raw
-rw-r--r--	9205	list.ma	blob \| raw
-rw-r--r--	6797	listb.ma	blob \| raw
-rw-r--r--	8102	logic.ma	blob \| raw
-rw-r--r--	6540	nat.ma	blob \| raw
-rw-r--r--	231	pts.ma	blob \| raw
-rw-r--r--	2472	relations.ma	blob \| raw
-rw-r--r--	3392	sets.ma	blob \| raw
-rw-r--r--	7552	types.ma	blob \| raw