X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Fbasic.xml;h=66419e9a35214ea5860d36b0899d558ff2933365;hb=4f6616b07fb0de97199db9349b2dc01ee0dc33f3;hp=5eaefa3a8661637f08feffc68d06ed72edf34555;hpb=adbb8f993af86259003d7978a26de549b3aef2ae;p=helm.git

diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
index 5eaefa3a8..66419e9a3 100644
--- a/helm/meta_style/basic.xml
+++ b/helm/meta_style/basic.xml
@@ -17,6 +17,17 @@
  arity = "2"
  m-tag = "or"/>
 
+<Operator
+ name  = "IFF"
+ uri   = "cic:/Coq/Init/Logic/iff.con"
+ arity = "2">
+ 	<mapp>
+		<m:csymbol>iff</m:csymbol>
+		<param id="1"/>
+		<param id="2"/>
+	</mapp>
+</Operator>
+
 <Operator
  name  = "NOT" 
  uri   = "cic:/Coq/Init/Logic/not.con"