]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/etc/helm-dictionary.xml
ocaml 3.09 transition
[helm.git] / helm / configuration / etc / helm-dictionary.xml
index 05d1fadd05991e863fe47c451bd383b31e15332c..6d1caf72299152c54c3c4928f93f48a4ffb205aa 100644 (file)
@@ -27,4 +27,5 @@
 <dictionary>
  <operator name="&Union;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
  <operator name="&Intersection;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
+ <operator name="lim" form="prefix" movablelimits="false"/>
 </dictionary>