X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2Fplist%2Fdefs.mma;h=fdf019592165986fced4d05365e3ba29fa2a06a0;hb=7048db496643fc440aebc6e85dd425886bcd2e56;hp=b73b56faed8a1de53feb0b223e5ae3d5ce031b40;hpb=0e9753cbccef485911e2c2de1b4cdcae592906b9;p=helm.git diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma index b73b56fae..fdf019592 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma @@ -16,5 +16,3 @@ include "Base-2/preamble.ma". -inline procedural "Base-1/plist/defs.ma". -