From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 28 Apr 2004 14:11:51 +0000 (+0000)
Subject: - split logic operators away from aritmetic ones so that
X-Git-Tag: V_0_0_9~73
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a96ac1d9b14c89392c5672fb94944363ced625b8;hp=a96ac1d9b14c89392c5672fb94944363ced625b8;p=helm.git

- split logic operators away from aritmetic ones so that
   \forall n:nat. n > 0 \or n = 0
  is parsed "correctly"
---