X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Ftutorial%2Fchapter6.ma;h=a5355b5fa990fdea2185197ca25a45553ff5e5d9;hb=053be41a8db6aa0ca7cc06fb569ec284a9bcc5ef;hp=38fb54a0c3afa3a96be06c7d31a35285d3a651ff;hpb=278be9d611634dce13657bbe14b5c1bb4f7dd2be;p=helm.git

diff --git a/matita/matita/lib/tutorial/chapter6.ma b/matita/matita/lib/tutorial/chapter6.ma
index 38fb54a0c..a5355b5fa 100644
--- a/matita/matita/lib/tutorial/chapter6.ma
+++ b/matita/matita/lib/tutorial/chapter6.ma
@@ -1,5 +1,6 @@
 
 include "tutorial/chapter5.ma".
+include "basics/core_notation/singl_1.ma".
 
 (*************************** Naive Set Theory *********************************)