]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda/
lambda: some refactoring + support for subsets of subterms started
[helm.git] / matita / matita / contribs / lambda /
drwxr-xr-x   ..
-rw-r--r-- 750 Makefile
-rw-r--r-- 2495 notation.ma
-rw-r--r-- 623 policy.txt
-rw-r--r-- 3461 preamble.ma
-rw-r--r-- 241 replace.sh
-rw-r--r-- 28 root
drwxr-xr-x - subterms
drwxr-xr-x - terms
-rw-r--r-- 548 xoa.conf.xml
-rw-r--r-- 2893 xoa.ma
-rw-r--r-- 4426 xoa_notation.ma