]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda_delta/Ground_2/
initial properies of the "same top term constructor" predicate
[helm.git] / matita / matita / contribs / lambda_delta / Ground_2 /
drwxr-xr-x   ..
-rw-r--r-- 2839 arith.ma
-rw-r--r-- 2147 list.ma
-rw-r--r-- 1638 notation.ma
-rw-r--r-- 4485 star.ma
-rw-r--r-- 1799 tri.ma
-rw-r--r-- 1110 xoa.conf.xml
-rw-r--r-- 7466 xoa.ma
-rw-r--r-- 15867 xoa_notation.ma
-rw-r--r-- 1197 xoa_props.ma