X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FEXPORT%2Fexport_Paris_ZF%2Fprova_Paris_ZF.v;fp=helm%2FEXPORT%2Fexport_Paris_ZF%2Fprova_Paris_ZF.v;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=03f59427fe64db1b3c2f772187b8e13d9c26a195;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/EXPORT/export_Paris_ZF/prova_Paris_ZF.v b/helm/EXPORT/export_Paris_ZF/prova_Paris_ZF.v
deleted file mode 100644
index 03f59427f..000000000
--- a/helm/EXPORT/export_Paris_ZF/prova_Paris_ZF.v
+++ /dev/null
@@ -1,33 +0,0 @@
-Require Export Xml.
-
-Require nothing.
-Require useful.
-Require ZFbasis.
-Require axs_extensionnalite.
-Require axs_paire .
-Require axs_reunion.
-Require axs_parties.
-Require axs_comprehension.
-Require axs_remplacement.
-Require couples.
-Require applications .
-Require axs_choice.
-Require axs_fundation.
-Require ZFrelations.
-Require MSetBasis .
-
-Print XML Module Disk "examples" nothing.
-Print XML Module Disk "examples" useful.
-Print XML Module Disk "examples" ZFbasis.
-Print XML Module Disk "examples" axs_extensionnalite.
-Print XML Module Disk "examples" axs_paire .
-Print XML Module Disk "examples" axs_reunion.
-Print XML Module Disk "examples" axs_parties.
-Print XML Module Disk "examples" axs_comprehension.
-Print XML Module Disk "examples" axs_remplacement.
-Print XML Module Disk "examples" couples.
-Print XML Module Disk "examples" applications .
-Print XML Module Disk "examples" axs_choice.
-Print XML Module Disk "examples" axs_fundation.
-Print XML Module Disk "examples" ZFrelations.
-Print XML Module Disk "examples" MSetBasis .