]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda_delta/Basic_2/
- lambda_delta: "conversion" and "equivalence" components started
[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 /
drwxr-xr-x   ..
-rw-r--r-- 9278 Basic_1.txt
drwxr-xr-x - computation
drwxr-xr-x - conversion
drwxr-xr-x - equivalence
drwxr-xr-x - grammar
-rw-r--r-- 948 names.txt
-rw-r--r-- 9806 notation.ma
drwxr-xr-x - reducibility
drwxr-xr-x - static
drwxr-xr-x - substitution
drwxr-xr-x - unfold