]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/library/
Progress
[helm.git] / matita / matita / library /
drwxr-xr-x   ..
-rw-r--r-- 268 Makefile
drwxr-xr-x - Q
drwxr-xr-x - R
drwxr-xr-x - Z
drwxr-xr-x - algebra
drwxr-xr-x - dama
drwxr-xr-x - datatypes
drwxr-xr-x - decidable_kit
drwxr-xr-x - demo
-rw-r--r-- 10735 depends
drwxr-xr-x - didactic
drwxr-xr-x - higher_order_defs
drwxr-xr-x - list
drwxr-xr-x - logic
drwxr-xr-x - nat
-rw-r--r-- 20 root
drwxr-xr-x - technicalities