]> matita.cs.unibo.it Git - helm.git/tree
e2bb554e4cbf858f349908551345b56e1ae49831
drwxr-xr-x - Q
drwxr-xr-x - Z
drwxr-xr-x - algebra
drwxr-xr-x - datatypes
drwxr-xr-x - higher_order_defs
drwxr-xr-x - legacy
-rw-r--r-- 1449 library_notation.ma
drwxr-xr-x - list
drwxr-xr-x - logic
-rw-r--r-- 872 makefile
drwxr-xr-x - nat
drwxr-xr-x - paramodulation
drwxr-xr-x - technicalities