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

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

projects / helm.git / tree

c8d1f74aba86cbf5b36eb742bbfbc3ca1b53364e

-rw-r--r--	1712	ground.ma	blob \| raw
-rw-r--r--	255	names.txt	blob \| raw
-rw-r--r--	2258	notation.ma	blob \| raw
drwxr-xr-x	-	reduction	tree
drwxr-xr-x	-	substitution	tree
drwxr-xr-x	-	syntax	tree
-rw-r--r--	1781	xoa_defs.ma	blob \| raw
-rw-r--r--	1651	xoa_notation.ma	blob \| raw

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