From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 12 Mar 2010 12:25:43 +0000 (+0000)
Subject: First version of PTS
X-Git-Tag: make_still_working~3010
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=ed76333464d49a3cd55ca2adb05b0afdbc8486bd;hp=ed76333464d49a3cd55ca2adb05b0afdbc8486bd;p=helm.git

First version of PTS
---