Many files added. Symbolic links missing. examples and contrib missing due

[helm.git] / helm / EXPORT / exportcsczfc / provacsczfc.v

diff --git a/helm/EXPORT/exportcsczfc/provacsczfc.v b/helm/EXPORT/exportcsczfc/provacsczfc.v
new file mode 100644 (file)
index 0000000..81737d5
--- /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.