]> matita.cs.unibo.it Git - helm.git/commit
First version of PTS
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 12:25:43 +0000 (12:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 12:25:43 +0000 (12:25 +0000)
commited76333464d49a3cd55ca2adb05b0afdbc8486bd
tree29e155b3e8c6b0887f399c930578e8ee79cf7140
parentee1df68d10351f30ea591ccc2173197d99e307cc
First version of PTS
helm/software/matita/nlibrary/PTS/gpts.ma [new file with mode: 0644]