X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fnlibrary%2Fdatatypes%2Fbool.ma;h=044296559e674b0d1dce25b88b8e540fbaac74dc;hb=74a8604e5d2d3ec2dc7e67b1e257812ce340da29;hp=eda979d69b3c1121e76dadec86b5c789f8559086;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/nlibrary/datatypes/bool.ma b/matita/matita/nlibrary/datatypes/bool.ma
index eda979d69..044296559 100644
--- a/matita/matita/nlibrary/datatypes/bool.ma
+++ b/matita/matita/nlibrary/datatypes/bool.ma
@@ -14,9 +14,9 @@
 
 include "logic/pts.ma".
 
-ninductive bool: Type[0] ≝ true: bool | false: bool.
+inductive bool: Type[0] ≝ true: bool | false: bool.
  
-ndefinition orb ≝ λa,b:bool. match a with [ true ⇒ true | _ ⇒ b ].
+definition orb ≝ λa,b:bool. match a with [ true ⇒ true | _ ⇒ b ].
 
 notation "a || b" left associative with precedence 30 for @{'orb $a $b}.
 interpretation "orb" 'orb a b = (orb a b).
\ No newline at end of file