]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma
include "aprem/defs.ma".
-include "gz/defs.ma".
+include "ex0/defs.ma".
include "wcpr0/defs.ma".
include "nf2/defs.ma".
+include "ex2/defs.ma".
+
include "csubc/defs.ma".
include "pc1/defs.ma".