]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/basics/
match
[helm.git] / matita / matita / lib / basics /
drwxr-xr-x   ..
-rw-r--r-- 3527 bool.ma
-rw-r--r-- 10004 core_notation.ma
-rw-r--r-- 6190 deqsets.ma
-rw-r--r-- 8111 finset.ma
-rw-r--r-- 3182 jmeq.ma
drwxr-xr-x - lists
-rw-r--r-- 8618 logic.ma
-rw-r--r-- 1233 pts.ma
-rw-r--r-- 5610 relations.ma
-rw-r--r-- 770 russell.ma
-rw-r--r-- 3972 sets.ma
-rw-r--r-- 14495 star.ma
-rw-r--r-- 8218 types.ma
-rw-r--r-- 7725 vectors.ma