From: Matthias Puech <puech@cs.mcgill.ca>
Date: Thu, 25 Mar 2010 16:23:10 +0000 (+0000)
Subject: Automation problem
X-Git-Tag: make_still_working~2959
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2c31f199f35d96d7b0dd86f738c8d4887b37446d;hp=2c31f199f35d96d7b0dd86f738c8d4887b37446d;p=helm.git

Automation problem

From: puech <puech@c2b2084f-9a08-0410-b176-e24b037a169a>
---