]> matita.cs.unibo.it Git - helm.git/commitdiff
added eqT's macro
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:41:14 +0000 (16:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:41:14 +0000 (16:41 +0000)
helm/gTopLevel/dictionary-cic.xml

index 29397d45ad559d336ce9a874ade14157a73bc63b..9b5441679b600252919d15bf561408ab957f6837 100644 (file)
@@ -34,4 +34,6 @@
   <entry name="Set"  class="i" val="Set"/>
   <entry name="Type" class="i" val="Type"/>
 
+  <entry name="eqt"  class="o" val="="/>
+
 </dictionary>