]> matita.cs.unibo.it Git - helm.git/tree
642f33005443e6ed2441edfd5036d687ec4c6a40
-rw-r--r-- 779 Makefile
drwxr-xr-x - background
drwxr-xr-x - levels
drwxr-xr-x - notation
drwxr-xr-x - paths
-rw-r--r-- 653 policy.txt
-rw-r--r-- 241 replace.sh
drwxr-xr-x - subterms
drwxr-xr-x - terms
-rw-r--r-- 717 xoa.conf.xml