removed an old figure

[helm.git] / helm / papers / matita / input_phase.dia

diff --git a/helm/papers/matita/input_phase.dia b/helm/papers/matita/input_phase.dia
deleted file mode 100644 (file)
index 25315d0..0000000
Binary files a/helm/papers/matita/input_phase.dia and /dev/null differ