]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/basics/
Progress
[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-- 4458 deqsets.ma
-rw-r--r-- 3944 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-- 3576 relations.ma
-rw-r--r-- 770 russell.ma
-rw-r--r-- 3972 sets.ma
-rw-r--r-- 8262 star.ma
-rw-r--r-- 8071 types.ma
-rw-r--r-- 1815 vectors.ma