X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Finput_phase.dia;h=25315d0c738369888b45b2c5e7c421ace86a7358;hb=7b40df1df60fa1dd2bb1058850474c0f66bd01b4;hp=5605943c9902dfbdf7236c72a28e2d32af5bbfca;hpb=dfbf84276e3183c190a6c7a59689324dccbaa6dc;p=helm.git

diff --git a/helm/papers/matita/input_phase.dia b/helm/papers/matita/input_phase.dia
index 5605943c9..25315d0c7 100644
Binary files a/helm/papers/matita/input_phase.dia and b/helm/papers/matita/input_phase.dia differ