From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 30 May 2008 19:21:51 +0000 (+0000)
Subject: irrelevance check half implemented but already impossible to
X-Git-Tag: make_still_working~5095
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=28f01bb2d0e5f1b3f180b0b478267d2beb06a5fe;hp=28f01bb2d0e5f1b3f180b0b478267d2beb06a5fe;p=helm.git

irrelevance check half implemented but already impossible to
complete
---