]> matita.cs.unibo.it Git - helm.git/tree
107e5797072f4b8d19e25709e989488de79877e1
-rw-r--r-- 223 Makefile
drwxr-xr-x - blt
-rw-r--r-- 1158 definitions.ma
-rw-r--r-- 393 depends
drwxr-xr-x - ext
drwxr-xr-x - plist
-rw-r--r-- 5818 preamble.ma
-rw-r--r-- 72 root
-rw-r--r-- 10406 spare.ma
-rw-r--r-- 1213 theory.ma
drwxr-xr-x - types