From: maiorino <??>
Date: Thu, 27 Jul 2006 14:46:31 +0000 (+0000)
Subject: Notation for the existential quantifier moved to core_notation.moo
X-Git-Tag: make_still_working~7001
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=73284b016dc2c195491ab3442457ec9fb76b576f;hp=73284b016dc2c195491ab3442457ec9fb76b576f;p=helm.git

Notation for the existential quantifier moved to core_notation.moo
---