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