]> matita.cs.unibo.it Git - helm.git/commit
review on csc's latest additions
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Feb 2006 22:56:18 +0000 (22:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Feb 2006 22:56:18 +0000 (22:56 +0000)
commitf9a26b56a3945afb2ff6167fcac61a21377bf0cf
tree86f738dae4c983ae22be23b7b707f4101ae46bdc
parenta7063fc0997a9d9eae6c329443e67ab92c4b6a0f
review on csc's latest additions
helm/papers/matita/matita2.tex