]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/static_2/
made executable again
[helm.git] / matita / matita / contribs / lambdadelta / static_2 /
drwxr-xr-x   ..
drwxr-xr-x - etc
drwxr-xr-x - i_static
-rw-r--r-- 20921 names.txt
drwxr-xr-x - notation
drwxr-xr-x - relocation
drwxr-xr-x - s_computation
drwxr-xr-x - s_transition
drwxr-xr-x - static
drwxr-xr-x - syntax
drwxr-xr-x - web