*** empty log message ***

[helm.git] / helm / matita / coq.moo

diff --git a/helm/matita/coq.moo b/helm/matita/coq.moo
index 4c3d8f772780e6e8cc011743ea55cf4905fd5b13..9c509b67c95e0278a82ff22d02b1f72ca0548282 100644 (file)
Binary files a/helm/matita/coq.moo and b/helm/matita/coq.moo differ