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

drwxr-xr-x		..
-rw-r--r--	779	Makefile	blob \| history \| raw
drwxr-xr-x	-	background	tree \| history
drwxr-xr-x	-	levels	tree \| history
drwxr-xr-x	-	notation	tree \| history
drwxr-xr-x	-	paths	tree \| history
-rw-r--r--	653	policy.txt	blob \| history \| raw
-rw-r--r--	241	replace.sh	blob \| history \| raw
drwxr-xr-x	-	subterms	tree \| history
drwxr-xr-x	-	terms	tree \| history
-rw-r--r--	717	xoa.conf.xml	blob \| history \| raw