]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda_delta/ground_2/
- predefined_virtuals: an addition
[helm.git] / matita / matita / contribs / lambda_delta / ground_2 /
drwxr-xr-x   ..
-rw-r--r-- 2833 arith.ma
-rw-r--r-- 2145 list.ma
-rw-r--r-- 1838 notation.ma
-rw-r--r-- 4904 star.ma
-rw-r--r-- 1799 tri.ma
-rw-r--r-- 1139 xoa.conf.xml
-rw-r--r-- 7729 xoa.ma
-rw-r--r-- 16278 xoa_notation.ma
-rw-r--r-- 1317 xoa_props.ma