]> matita.cs.unibo.it Git - helm.git/tree - matita/components/ng_library/
match
[helm.git] / matita / components / ng_library /
drwxr-xr-x   ..
-rw-r--r-- 83 .depend
-rw-r--r-- 83 .depend.opt
-rw-r--r-- 507 Makefile
-rw-r--r-- 12133 nCicLibrary.ml
-rw-r--r-- 2840 nCicLibrary.mli