X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Flambda%2Fbackground%2Fpreamble.ma;h=6a087e3aa8f470878f61ec1a86ccbdee9ef11088;hb=78d9265b6261eb24cad483fb57a386e39eae6a3c;hp=6455bfcf41bdcb4920663e968a4d300a70fa1779;hpb=aa9654656f7d0aeb9345e0b86a9e35f861687580;p=helm.git

diff --git a/matita/matita/lib/lambda/background/preamble.ma b/matita/matita/lib/lambda/background/preamble.ma
index 6455bfcf4..6a087e3aa 100644
--- a/matita/matita/lib/lambda/background/preamble.ma
+++ b/matita/matita/lib/lambda/background/preamble.ma
@@ -12,13 +12,13 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basics/star.ma".
+include "basics/star1.ma".
 include "basics/lists/lstar.ma".
 include "arithmetics/exp.ma".
 
-include "background/xoa_notation.ma".
-include "background/xoa.ma".
-include "background/notation.ma".
+include "lambda/background/xoa_notation.ma".
+include "lambda/background/xoa.ma".
+include "lambda/background/notation.ma".
 
 (* logic *)