]> matita.cs.unibo.it Git - helm.git/commit
added gluing among patterns and semantic selections
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 Jan 2006 14:23:39 +0000 (14:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 25 Jan 2006 14:23:39 +0000 (14:23 +0000)
commit82bf6cdd382a93ab871c6f75fe904390e1256351
tree49a45dd5ef7dd7a25696746dd8736d2fc82b0929
parentcbac948d507d74a558ba7f11ce10bc252b1ba8ba
added gluing among patterns and semantic selections
helm/papers/matita/matita2.tex