From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 18 May 2004 13:25:35 +0000 (+0000)
Subject: Nuova implementazione di Auto "breadth-first".
X-Git-Tag: V_0_0_9~45
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=16d6d961a5d7db08bfdf1bccae7f36c6b2fd7fe2;hp=16d6d961a5d7db08bfdf1bccae7f36c6b2fd7fe2;p=helm.git

Nuova implementazione di Auto "breadth-first".
---