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

diff --git a/helm/EXPORT/exportprove/provaFeIota.v b/helm/EXPORT/exportprove/provaFeIota.v
new file mode 100644
index 000000000..bc5b2c022
--- /dev/null
+++ b/helm/EXPORT/exportprove/provaFeIota.v
@@ -0,0 +1,6 @@
+Require Xml.
+Require provaF.
+Require provaIota.
+
+Print XML Module Disk "examples" provaF.
+Print XML Module Disk "examples" provaIota.