From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 18 May 2004 15:57:23 +0000 (+0000)
Subject: * [Luca] string concatenation now made using String.concat instead of
X-Git-Tag: V_0_0_9~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b3fdada9a2439c2ce1320350252e330be490b2da;hp=b3fdada9a2439c2ce1320350252e330be490b2da;p=helm.git

* [Luca] string concatenation now made using String.concat instead of
  List.fold_left
---