]> matita.cs.unibo.it Git - helm.git/tree - helm/matita/library/
"include" command implemented.
[helm.git] / helm / matita / library /
drwxr-xr-x   ..
-rw-r--r-- 14 .cvsignore
-rw-r--r-- 1461 Makefile
-rw-r--r-- 8900 Z.ma
-rw-r--r-- 1777 bool.ma
-rw-r--r-- 1278 compare.ma
-rw-r--r-- 1863 equality.ma
-rw-r--r-- 1791 logic.ma
-rw-r--r-- 7005 nat.ma