X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FEXPORT%2Fexportprove%2FprovaCofix.v;fp=helm%2FEXPORT%2Fexportprove%2FprovaCofix.v;h=d0f97294b6e5876feb0831724326cc2d05bdabeb;hb=5cc1f56f25e23f8132b578f9ad46ac9e27979cb4;hp=0000000000000000000000000000000000000000;hpb=aa12f8cd84908fb3757a582cadd36ef49e269a2b;p=helm.git

diff --git a/helm/EXPORT/exportprove/provaCofix.v b/helm/EXPORT/exportprove/provaCofix.v
new file mode 100644
index 000000000..d0f97294b
--- /dev/null
+++ b/helm/EXPORT/exportprove/provaCofix.v
@@ -0,0 +1,4 @@
+Require Xml.
+Require provacofix.
+
+Print XML Module Disk "examples" provacofix.