]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground_2/lib/
- theory of llor now includes (long awaited) non-recursive alternative definition
[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / lib /
drwxr-xr-x   ..
-rw-r--r-- 6629 arith.ma
-rw-r--r-- 1495 bool.ma
-rw-r--r-- 2425 list.ma
-rw-r--r-- 1255 lstar.ma
-rw-r--r-- 14041 star.ma