]> matita.cs.unibo.it Git - helm.git/commit
More updates to Fsub.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 9 Jul 2009 11:38:42 +0000 (11:38 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 9 Jul 2009 11:38:42 +0000 (11:38 +0000)
commit56c4e355b88aa505b64c539053aba92eb86afc2a
tree965cc320f218969443d27d41a433352aeeaef818
parent9883f04161a9972f0641dd85faf224b4f2846f05
More updates to Fsub.
helm/software/matita/contribs/POPLmark/Fsub/adeq.ma
helm/software/matita/contribs/POPLmark/Fsub/defndb.ma
helm/software/matita/contribs/POPLmark/Fsub/part1a.ma
helm/software/matita/contribs/POPLmark/Fsub/part1adb.ma