removed daemons

[helm.git] / matita / matita / lib / tutorial / chapter5.ma

diff --git a/matita/matita/lib/tutorial/chapter5.ma b/matita/matita/lib/tutorial/chapter5.ma
index 9cd43fd236e03d1240773b713e8e9786de3e021d..b90433657462f8772e85e64726861a620a388a1c 100644 (file)
--- a/matita/matita/lib/tutorial/chapter5.ma
+++ b/matita/matita/lib/tutorial/chapter5.ma
@@ -7,7 +7,7 @@ effectively searching an element of that set inside a data structure. In this
 section we shall define several boolean functions acting on lists of elements in 
 a DeqSet, and prove some of their properties.*)
 
-include "basics/list.ma". 
+include "basics/lists/list.ma". 
 include "tutorial/chapter4.ma".
 
 (* The first function we define is an effective version of the membership relation,