* iff notation added (new csymbol)

[helm.git] / helm / meta_style / basic.xml

diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
index 5eaefa3a8661637f08feffc68d06ed72edf34555..66419e9a35214ea5860d36b0899d558ff2933365 100644 (file)
--- 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"