]> matita.cs.unibo.it Git - helm.git/commit
added entites/overrides for leq, geq, nleq, ngeq, to
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Sep 2005 11:50:21 +0000 (11:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Sep 2005 11:50:21 +0000 (11:50 +0000)
commit1bcae23ef41ad2110426eebd97671d27d09213a3
treecfd26f10e03dac45c0cb2399568b9c5c61ce0d4e
parent276f665cc3b2d3a8d501e722b6722f41bbab2381
added entites/overrides for leq, geq, nleq, ngeq, to
helm/ocaml/utf8_macros/data/extra-entities.xml