]> matita.cs.unibo.it Git - helm.git/blobdiff - weblib/tutorial/chapter3.ma
commit by user andrea
[helm.git] / weblib / tutorial / chapter3.ma
index 80f49143a1e2f3577800b75ff1928c28d28350bb..c42e1887f892428f61ae4834dda4ae0f6f37c6c4 100644 (file)
@@ -1,4 +1,3 @@
-
 include "tutorial/chapter2.ma".
 include "basics/bool.ma".