]> matita.cs.unibo.it Git - helm.git/commit
removed an old figure
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:06:38 +0000 (17:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:06:38 +0000 (17:06 +0000)
commitb3bc58fc6ad13b7502505d6f354322842721c714
tree93c57737ff7a172459ecae2389790c2ba597113f
parentcd1e21729f5fcd624e2e22605e9cb4b5a8175592
removed an old figure
helm/papers/matita/input_phase.dia [deleted file]
helm/papers/matita/input_phase.eps [deleted file]