X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBasic-1%2Fpreamble.ma;h=c9d6a172a3f5dc425ff682d0539ae681ba2c0f74;hb=8ae1653eb75d2b57c50e077c49cb9d078313ea9d;hp=069fa0d2791b24704c1a63bae5d7c2ccd2bc0e70;hpb=3531d88e2a19cba027b4b882f8dd74bf37283b9c;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/preamble.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/preamble.ma
index 069fa0d27..c9d6a172a 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/preamble.ma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Basic-1/preamble.ma
@@ -12,4 +12,4 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "Base-1/theory.ma".
+include "Ground-1/theory.ma".