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

diff --git a/helm/EXPORT/export_Utrecht_Ramsey/prova_Utrecht_Ramsey.v b/helm/EXPORT/export_Utrecht_Ramsey/prova_Utrecht_Ramsey.v
new file mode 100644
index 000000000..aa0500f15
--- /dev/null
+++ b/helm/EXPORT/export_Utrecht_Ramsey/prova_Utrecht_Ramsey.v
@@ -0,0 +1,5 @@
+Require Export Xml.
+
+Require Ramsey.
+
+Print XML Module Disk "examples" Ramsey.