]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/CoRN-Decl/model/structures/
- transcript: now outputs includes and coercions correctly
[helm.git] / helm / software / matita / contribs / CoRN-Decl / model / structures /
drwxr-xr-x   ..
-rw-r--r-- 1660 Npossec.ma
-rw-r--r-- 2134 Nsec.ma
-rw-r--r-- 2473 Qpossec.ma
-rw-r--r-- 6639 Qsec.ma
-rw-r--r-- 3143 Zsec.ma