From: denes <??>
Date: Fri, 3 Jul 2009 13:22:28 +0000 (+0000)
Subject: Implemented LPO
X-Git-Tag: make_still_working~3754
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=016f069da6221053873b4d505716ef1bd80f08b6;hp=016f069da6221053873b4d505716ef1bd80f08b6;p=helm.git

Implemented LPO
---