]> matita.cs.unibo.it Git - helm.git/tree
6cc4e1341c38ed0bf08bbcc75ac0e368d0dc10cd
-rw-r--r-- 268 Makefile
drwxr-xr-x - PTS
drwxr-xr-x - Plogic
-rw-r--r-- 1304 TPTP.ma
drwxr-xr-x - algebra
drwxr-xr-x - arithmetics
drwxr-xr-x - basics
drwxr-xr-x - datatypes
-rw-r--r-- 3299 depends
-rw-r--r-- 7641 depends.dot
-rw-r--r-- 620752 depends.png
-rw-r--r-- 4135 hints_declaration.ma
drwxr-xr-x - logic
drwxr-xr-x - nat
drwxr-xr-x - overlap
drwxr-xr-x - properties
drwxr-xr-x - re
-rw-r--r-- 23 root
drwxr-xr-x - sets
drwxr-xr-x - topology