X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Ftutorial%2Fchapter5.ma;h=b1493982ce9fea0bc002020a84c733e766454dc8;hb=e8571cfbc30a3da656cff0c0e0f0ee747e8c4cdd;hp=21a8abd2fcc515d169a2dca0335ab3136497da8f;hpb=cc178d85bc4fec05b6a9dd176f338b3275beb3d9;p=helm.git

diff --git a/matita/matita/lib/tutorial/chapter5.ma b/matita/matita/lib/tutorial/chapter5.ma
index 21a8abd2f..b1493982c 100644
--- a/matita/matita/lib/tutorial/chapter5.ma
+++ b/matita/matita/lib/tutorial/chapter5.ma
@@ -4,7 +4,7 @@
 
 include "tutorial/chapter4.ma".
 include "arithmetics/nat.ma".
-
+include "basics/core_notation/card_1.ma".
 
 (******************************** Option Type *********************************)