]> matita.cs.unibo.it Git - helm.git/tree
6de02924719b20e7de278a0576ce32ec546a6dd1
-rw-r--r-- 292 Makefile
drwxr-xr-x - blt
-rw-r--r-- 1218 definitions.ma
-rw-r--r-- 393 depends
drwxr-xr-x - ext
drwxr-xr-x - plist
-rw-r--r-- 5816 preamble.ma
-rw-r--r-- 72 root
-rw-r--r-- 1158 spare.ma
-rw-r--r-- 1268 theory.ma
drwxr-xr-x - types