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

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

projects / helm.git / tree

1a48b7fe767cc68fc1d0c6e1caf8a9fb7e22ff62

-rw-r--r--	7614	decidable.ma	blob \| raw
-rw-r--r--	6889	eqtype.ma	blob \| raw
-rw-r--r--	7080	fintype.ma	blob \| raw
-rw-r--r--	5414	list_aux.ma	blob \| raw
-rw-r--r--	2427	streicher.ma	blob \| raw

Unnamed repository; edit this file 'description' to name the repository.