]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground/
arithmetics for λδ
[helm.git] / matita / matita / contribs / lambdadelta / ground /
drwxr-xr-x   ..
drwxr-xr-x - arith
drwxr-xr-x - etc
drwxr-xr-x - insert_eq
drwxr-xr-x - lib
drwxr-xr-x - notation
drwxr-xr-x - pull
drwxr-xr-x - relocation
drwxr-xr-x - steps
drwxr-xr-x - web
drwxr-xr-x - wf_ind
-rw-r--r-- 1549 xoa.conf.xml
drwxr-xr-x - xoa
drwxr-xr-x - ynat