]> matita.cs.unibo.it Git - helm.git/commit
More improvements.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 19 Jun 2009 14:53:57 +0000 (14:53 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 19 Jun 2009 14:53:57 +0000 (14:53 +0000)
commit92057ea600a468c1d0379f046921d551a7f37e55
treeeec0e0c1baa25830fe70ca76c7fcff6a6926d377
parentc987d19107e9f8570af4be1149933a975cc254a7
More improvements.
helm/software/matita/contribs/POPLmark/Fsub/adeq.ma
helm/software/matita/contribs/POPLmark/Fsub/defn.ma
helm/software/matita/contribs/POPLmark/Fsub/part1a.ma
helm/software/matita/contribs/POPLmark/Fsub/util.ma