]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/ground_2/lib/
update in ground_2
[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / lib /
drwxr-xr-x   ..
-rw-r--r-- 11193 arith.ma
-rw-r--r-- 2223 bool.ma
-rw-r--r-- 1771 exteq.ma
-rw-r--r-- 1719 functions.ma
-rw-r--r-- 1591 list.ma
-rw-r--r-- 2195 list_length.ma
-rw-r--r-- 1490 logic.ma
-rw-r--r-- 4209 ltc.ma
-rw-r--r-- 5785 relations.ma
-rw-r--r-- 11630 star.ma
-rw-r--r-- 1496 streams.ma
-rw-r--r-- 3120 streams_eq.ma
-rw-r--r-- 1731 streams_hdtl.ma
-rw-r--r-- 1850 streams_tls.ma