]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma
include "pr3/wcpr0.ma".
+include "ex2/props.ma".
+
include "ex1/props.ma".
include "ty3/tau0.ma".
+include "ty3/nf2.ma".
+
include "ty3/dec.ma".