- lambdadelta: first recursive part of preservation finally proved!

[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..a4400abceafb3fa6df4dda417d2bdc732829b410 100644 (file)
--- a/matita/matita/lib/lambda/background/preamble.ma
+++ b/matita/matita/lib/lambda/background/preamble.ma
@@ -16,9 +16,9 @@ include "basics/star.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 *)