with matita 0.99.2 we can validate lambdadelta_1 (as is) in 4 minutes

[helm.git] / matita / matita / lib / lambda / background / preamble.ma

diff --git a/matita/matita/lib/lambda/background/preamble.ma b/matita/matita/lib/lambda/background/preamble.ma
index 6455bfcf41bdcb4920663e968a4d300a70fa1779..6a087e3aa8f470878f61ec1a86ccbdee9ef11088 100644 (file)
--- 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 *)