From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 18 Jun 2008 15:03:32 +0000 (+0000)
Subject: initial support for notation that specifies the precedence of term variables, that... 
X-Git-Tag: make_still_working~5016
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=bcf9a65332d321c25761207e2fb17110dbdc8241;hp=bcf9a65332d321c25761207e2fb17110dbdc8241;p=helm.git

initial support for notation that specifies the precedence of term variables, that allows to omit many useless parenthesis
---