X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=weblib%2Ftutorial%2Fchapter3.ma;h=c42e1887f892428f61ae4834dda4ae0f6f37c6c4;hb=b5f54d2815f446a999736abd0ffe80641596a5f6;hp=80f49143a1e2f3577800b75ff1928c28d28350bb;hpb=704bbf749f44396c1a610f336b4e1cf0d25e9370;p=helm.git

diff --git a/weblib/tutorial/chapter3.ma b/weblib/tutorial/chapter3.ma
index 80f49143a..c42e1887f 100644
--- a/weblib/tutorial/chapter3.ma
+++ b/weblib/tutorial/chapter3.ma
@@ -1,4 +1,3 @@
-
 include "tutorial/chapter2.ma".
 include "basics/bool.ma".