From d8c297847d28b8648c1b3728d5763112ae6472ad Mon Sep 17 00:00:00 2001
From: Cosimo Oliboni <??>
Date: Fri, 10 Jul 2009 10:49:42 +0000
Subject: [PATCH]  +root +depends

---
 helm/software/matita/contribs/ng_assembly/depends | 11 +++++++++++
 helm/software/matita/contribs/ng_assembly/root    |  1 +
 2 files changed, 12 insertions(+)
 create mode 100644 helm/software/matita/contribs/ng_assembly/depends
 create mode 100644 helm/software/matita/contribs/ng_assembly/root

diff --git a/helm/software/matita/contribs/ng_assembly/depends b/helm/software/matita/contribs/ng_assembly/depends
new file mode 100644
index 000000000..98ad886d0
--- /dev/null
+++ b/helm/software/matita/contribs/ng_assembly/depends
@@ -0,0 +1,11 @@
+freescale/theory.ma freescale/pts.ma
+freescale/bool_lemmas.ma freescale/bool.ma freescale/theory.ma
+freescale/bool.ma freescale/pts.ma
+freescale/pts.ma 
+freescale/option_lemmas.ma freescale/bool_lemmas.ma freescale/option.ma
+freescale/prod_lemmas.ma freescale/bool_lemmas.ma freescale/prod.ma
+freescale/nat.ma freescale/bool.ma freescale/pts.ma
+freescale/option.ma freescale/bool.ma
+freescale/prod.ma freescale/bool.ma
+freescale/exadecim.ma freescale/bool.ma freescale/nat.ma freescale/prod.ma
+freescale/nat_lemmas.ma freescale/bool_lemmas.ma freescale/nat.ma
diff --git a/helm/software/matita/contribs/ng_assembly/root b/helm/software/matita/contribs/ng_assembly/root
new file mode 100644
index 000000000..e6f78ade0
--- /dev/null
+++ b/helm/software/matita/contribs/ng_assembly/root
@@ -0,0 +1 @@
+baseuri=cic:/matita
-- 
2.39.2