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

diff --git a/helm/EXPORT/exportcsczfc/provacsczfc.v b/helm/EXPORT/exportcsczfc/provacsczfc.v
new file mode 100644
index 000000000..81737d5a9
--- /dev/null
+++ b/helm/EXPORT/exportcsczfc/provacsczfc.v
@@ -0,0 +1,6 @@
+Require Xml.
+Require csc_eqdep.
+Require csc_zfc.
+
+Print XML Dir Disk "examples/csczfc" csc_eqdep.
+Print XML Dir Disk "examples/csczfc" csc_zfc.