From ab13cfa248f0ee58d239ceeddfb50ec49a6b5c6d Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 6 Aug 2010 11:29:40 +0000 Subject: [PATCH] the refactoring continues .... --- helm/software/lambda-delta/{components => src}/Make | 0 helm/software/lambda-delta/{components => src}/automath/Make | 0 helm/software/lambda-delta/{components => src}/automath/Omega.aut | 0 helm/software/lambda-delta/{components => src}/automath/aut.ml | 0 .../lambda-delta/{components => src}/automath/autLexer.mll | 0 .../lambda-delta/{components => src}/automath/autOutput.ml | 0 .../lambda-delta/{components => src}/automath/autOutput.mli | 0 .../lambda-delta/{components => src}/automath/autParser.mly | 0 .../lambda-delta/{components => src}/automath/autProcess.ml | 0 .../lambda-delta/{components => src}/automath/autProcess.mli | 0 helm/software/lambda-delta/{components => src}/basic_ag/Make | 0 helm/software/lambda-delta/{components => src}/basic_ag/bag.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagEnvironment.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagEnvironment.mli | 0 .../lambda-delta/{components => src}/basic_ag/bagOutput.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagOutput.mli | 0 .../lambda-delta/{components => src}/basic_ag/bagReduction.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagReduction.mli | 0 .../lambda-delta/{components => src}/basic_ag/bagSubstitution.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagSubstitution.mli | 0 .../software/lambda-delta/{components => src}/basic_ag/bagType.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagType.mli | 0 .../lambda-delta/{components => src}/basic_ag/bagUntrusted.ml | 0 .../lambda-delta/{components => src}/basic_ag/bagUntrusted.mli | 0 helm/software/lambda-delta/{components => src}/basic_rg/Make | 0 helm/software/lambda-delta/{components => src}/basic_rg/brg.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgEnvironment.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgEnvironment.mli | 0 .../lambda-delta/{components => src}/basic_rg/brgOutput.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgOutput.mli | 0 .../lambda-delta/{components => src}/basic_rg/brgReduction.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgReduction.mli | 0 .../lambda-delta/{components => src}/basic_rg/brgSubstitution.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgSubstitution.mli | 0 .../software/lambda-delta/{components => src}/basic_rg/brgType.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgType.mli | 0 .../lambda-delta/{components => src}/basic_rg/brgUntrusted.ml | 0 .../lambda-delta/{components => src}/basic_rg/brgUntrusted.mli | 0 helm/software/lambda-delta/{components => src}/common/Make | 0 helm/software/lambda-delta/{components => src}/common/alpha.ml | 0 helm/software/lambda-delta/{components => src}/common/alpha.mli | 0 helm/software/lambda-delta/{components => src}/common/entity.ml | 0 .../software/lambda-delta/{components => src}/common/hierarchy.ml | 0 .../lambda-delta/{components => src}/common/hierarchy.mli | 0 helm/software/lambda-delta/{components => src}/common/library.ml | 0 helm/software/lambda-delta/{components => src}/common/library.mli | 0 helm/software/lambda-delta/{components => src}/common/marks.ml | 0 helm/software/lambda-delta/{components => src}/common/options.ml | 0 helm/software/lambda-delta/{components => src}/common/output.ml | 0 helm/software/lambda-delta/{components => src}/common/output.mli | 0 helm/software/lambda-delta/{components => src}/complete_rg/Make | 0 helm/software/lambda-delta/{components => src}/complete_rg/crg.ml | 0 .../lambda-delta/{components => src}/complete_rg/crgAut.ml | 0 .../lambda-delta/{components => src}/complete_rg/crgAut.mli | 0 .../lambda-delta/{components => src}/complete_rg/crgBrg.ml | 0 .../lambda-delta/{components => src}/complete_rg/crgBrg.mli | 0 .../lambda-delta/{components => src}/complete_rg/crgOutput.ml | 0 .../lambda-delta/{components => src}/complete_rg/crgOutput.mli | 0 .../lambda-delta/{components => src}/complete_rg/crgTxt.ml | 0 .../lambda-delta/{components => src}/complete_rg/crgTxt.mli | 0 .../lambda-delta/{components => src}/complete_rg/crgXml.ml | 0 .../lambda-delta/{components => src}/complete_rg/crgXml.mli | 0 helm/software/lambda-delta/{components => src}/lib/Make | 0 helm/software/lambda-delta/{components => src}/lib/cps.ml | 0 helm/software/lambda-delta/{components => src}/lib/log.ml | 0 helm/software/lambda-delta/{components => src}/lib/log.mli | 0 helm/software/lambda-delta/{components => src}/lib/share.ml | 0 helm/software/lambda-delta/{components => src}/lib/time.ml | 0 helm/software/lambda-delta/{components => src}/text/Make | 0 helm/software/lambda-delta/{components => src}/text/prova.hln | 0 helm/software/lambda-delta/{components => src}/text/txt.ml | 0 helm/software/lambda-delta/{components => src}/text/txtLexer.mll | 0 helm/software/lambda-delta/{components => src}/text/txtParser.mly | 0 helm/software/lambda-delta/{components => src}/text/txtTxt.ml | 0 helm/software/lambda-delta/{components => src}/text/txtTxt.mli | 0 helm/software/lambda-delta/{components => src}/toplevel/Make | 0 helm/software/lambda-delta/{components => src}/toplevel/meta.ml | 0 .../software/lambda-delta/{components => src}/toplevel/metaAut.ml | 0 .../lambda-delta/{components => src}/toplevel/metaAut.mli | 0 .../software/lambda-delta/{components => src}/toplevel/metaBag.ml | 0 .../lambda-delta/{components => src}/toplevel/metaBag.mli | 0 .../software/lambda-delta/{components => src}/toplevel/metaBrg.ml | 0 .../lambda-delta/{components => src}/toplevel/metaBrg.mli | 0 .../lambda-delta/{components => src}/toplevel/metaLibrary.ml | 0 .../lambda-delta/{components => src}/toplevel/metaLibrary.mli | 0 .../lambda-delta/{components => src}/toplevel/metaOutput.ml | 0 .../lambda-delta/{components => src}/toplevel/metaOutput.mli | 0 helm/software/lambda-delta/{components => src}/toplevel/top.ml | 0 88 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/lambda-delta/{components => src}/Make (100%) rename helm/software/lambda-delta/{components => src}/automath/Make (100%) rename helm/software/lambda-delta/{components => src}/automath/Omega.aut (100%) rename helm/software/lambda-delta/{components => src}/automath/aut.ml (100%) rename helm/software/lambda-delta/{components => src}/automath/autLexer.mll (100%) rename helm/software/lambda-delta/{components => src}/automath/autOutput.ml (100%) rename helm/software/lambda-delta/{components => src}/automath/autOutput.mli (100%) rename helm/software/lambda-delta/{components => src}/automath/autParser.mly (100%) rename helm/software/lambda-delta/{components => src}/automath/autProcess.ml (100%) rename helm/software/lambda-delta/{components => src}/automath/autProcess.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/Make (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bag.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagEnvironment.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagEnvironment.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagOutput.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagOutput.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagReduction.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagReduction.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagSubstitution.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagSubstitution.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagType.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagType.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagUntrusted.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_ag/bagUntrusted.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/Make (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brg.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgEnvironment.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgEnvironment.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgOutput.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgOutput.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgReduction.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgReduction.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgSubstitution.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgSubstitution.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgType.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgType.mli (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgUntrusted.ml (100%) rename helm/software/lambda-delta/{components => src}/basic_rg/brgUntrusted.mli (100%) rename helm/software/lambda-delta/{components => src}/common/Make (100%) rename helm/software/lambda-delta/{components => src}/common/alpha.ml (100%) rename helm/software/lambda-delta/{components => src}/common/alpha.mli (100%) rename helm/software/lambda-delta/{components => src}/common/entity.ml (100%) rename helm/software/lambda-delta/{components => src}/common/hierarchy.ml (100%) rename helm/software/lambda-delta/{components => src}/common/hierarchy.mli (100%) rename helm/software/lambda-delta/{components => src}/common/library.ml (100%) rename helm/software/lambda-delta/{components => src}/common/library.mli (100%) rename helm/software/lambda-delta/{components => src}/common/marks.ml (100%) rename helm/software/lambda-delta/{components => src}/common/options.ml (100%) rename helm/software/lambda-delta/{components => src}/common/output.ml (100%) rename helm/software/lambda-delta/{components => src}/common/output.mli (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/Make (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crg.ml (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgAut.ml (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgAut.mli (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgBrg.ml (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgBrg.mli (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgOutput.ml (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgOutput.mli (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgTxt.ml (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgTxt.mli (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgXml.ml (100%) rename helm/software/lambda-delta/{components => src}/complete_rg/crgXml.mli (100%) rename helm/software/lambda-delta/{components => src}/lib/Make (100%) rename helm/software/lambda-delta/{components => src}/lib/cps.ml (100%) rename helm/software/lambda-delta/{components => src}/lib/log.ml (100%) rename helm/software/lambda-delta/{components => src}/lib/log.mli (100%) rename helm/software/lambda-delta/{components => src}/lib/share.ml (100%) rename helm/software/lambda-delta/{components => src}/lib/time.ml (100%) rename helm/software/lambda-delta/{components => src}/text/Make (100%) rename helm/software/lambda-delta/{components => src}/text/prova.hln (100%) rename helm/software/lambda-delta/{components => src}/text/txt.ml (100%) rename helm/software/lambda-delta/{components => src}/text/txtLexer.mll (100%) rename helm/software/lambda-delta/{components => src}/text/txtParser.mly (100%) rename helm/software/lambda-delta/{components => src}/text/txtTxt.ml (100%) rename helm/software/lambda-delta/{components => src}/text/txtTxt.mli (100%) rename helm/software/lambda-delta/{components => src}/toplevel/Make (100%) rename helm/software/lambda-delta/{components => src}/toplevel/meta.ml (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaAut.ml (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaAut.mli (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaBag.ml (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaBag.mli (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaBrg.ml (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaBrg.mli (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaLibrary.ml (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaLibrary.mli (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaOutput.ml (100%) rename helm/software/lambda-delta/{components => src}/toplevel/metaOutput.mli (100%) rename helm/software/lambda-delta/{components => src}/toplevel/top.ml (100%) diff --git a/helm/software/lambda-delta/components/Make b/helm/software/lambda-delta/src/Make similarity index 100% rename from helm/software/lambda-delta/components/Make rename to helm/software/lambda-delta/src/Make diff --git a/helm/software/lambda-delta/components/automath/Make b/helm/software/lambda-delta/src/automath/Make similarity index 100% rename from helm/software/lambda-delta/components/automath/Make rename to helm/software/lambda-delta/src/automath/Make diff --git a/helm/software/lambda-delta/components/automath/Omega.aut b/helm/software/lambda-delta/src/automath/Omega.aut similarity index 100% rename from helm/software/lambda-delta/components/automath/Omega.aut rename to helm/software/lambda-delta/src/automath/Omega.aut diff --git a/helm/software/lambda-delta/components/automath/aut.ml b/helm/software/lambda-delta/src/automath/aut.ml similarity index 100% rename from helm/software/lambda-delta/components/automath/aut.ml rename to helm/software/lambda-delta/src/automath/aut.ml diff --git a/helm/software/lambda-delta/components/automath/autLexer.mll b/helm/software/lambda-delta/src/automath/autLexer.mll similarity index 100% rename from helm/software/lambda-delta/components/automath/autLexer.mll rename to helm/software/lambda-delta/src/automath/autLexer.mll diff --git a/helm/software/lambda-delta/components/automath/autOutput.ml b/helm/software/lambda-delta/src/automath/autOutput.ml similarity index 100% rename from helm/software/lambda-delta/components/automath/autOutput.ml rename to helm/software/lambda-delta/src/automath/autOutput.ml diff --git a/helm/software/lambda-delta/components/automath/autOutput.mli b/helm/software/lambda-delta/src/automath/autOutput.mli similarity index 100% rename from helm/software/lambda-delta/components/automath/autOutput.mli rename to helm/software/lambda-delta/src/automath/autOutput.mli diff --git a/helm/software/lambda-delta/components/automath/autParser.mly b/helm/software/lambda-delta/src/automath/autParser.mly similarity index 100% rename from helm/software/lambda-delta/components/automath/autParser.mly rename to helm/software/lambda-delta/src/automath/autParser.mly diff --git a/helm/software/lambda-delta/components/automath/autProcess.ml b/helm/software/lambda-delta/src/automath/autProcess.ml similarity index 100% rename from helm/software/lambda-delta/components/automath/autProcess.ml rename to helm/software/lambda-delta/src/automath/autProcess.ml diff --git a/helm/software/lambda-delta/components/automath/autProcess.mli b/helm/software/lambda-delta/src/automath/autProcess.mli similarity index 100% rename from helm/software/lambda-delta/components/automath/autProcess.mli rename to helm/software/lambda-delta/src/automath/autProcess.mli diff --git a/helm/software/lambda-delta/components/basic_ag/Make b/helm/software/lambda-delta/src/basic_ag/Make similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/Make rename to helm/software/lambda-delta/src/basic_ag/Make diff --git a/helm/software/lambda-delta/components/basic_ag/bag.ml b/helm/software/lambda-delta/src/basic_ag/bag.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bag.ml rename to helm/software/lambda-delta/src/basic_ag/bag.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagEnvironment.ml b/helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagEnvironment.ml rename to helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagEnvironment.mli b/helm/software/lambda-delta/src/basic_ag/bagEnvironment.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagEnvironment.mli rename to helm/software/lambda-delta/src/basic_ag/bagEnvironment.mli diff --git a/helm/software/lambda-delta/components/basic_ag/bagOutput.ml b/helm/software/lambda-delta/src/basic_ag/bagOutput.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagOutput.ml rename to helm/software/lambda-delta/src/basic_ag/bagOutput.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagOutput.mli b/helm/software/lambda-delta/src/basic_ag/bagOutput.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagOutput.mli rename to helm/software/lambda-delta/src/basic_ag/bagOutput.mli diff --git a/helm/software/lambda-delta/components/basic_ag/bagReduction.ml b/helm/software/lambda-delta/src/basic_ag/bagReduction.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagReduction.ml rename to helm/software/lambda-delta/src/basic_ag/bagReduction.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagReduction.mli b/helm/software/lambda-delta/src/basic_ag/bagReduction.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagReduction.mli rename to helm/software/lambda-delta/src/basic_ag/bagReduction.mli diff --git a/helm/software/lambda-delta/components/basic_ag/bagSubstitution.ml b/helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagSubstitution.ml rename to helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagSubstitution.mli b/helm/software/lambda-delta/src/basic_ag/bagSubstitution.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagSubstitution.mli rename to helm/software/lambda-delta/src/basic_ag/bagSubstitution.mli diff --git a/helm/software/lambda-delta/components/basic_ag/bagType.ml b/helm/software/lambda-delta/src/basic_ag/bagType.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagType.ml rename to helm/software/lambda-delta/src/basic_ag/bagType.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagType.mli b/helm/software/lambda-delta/src/basic_ag/bagType.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagType.mli rename to helm/software/lambda-delta/src/basic_ag/bagType.mli diff --git a/helm/software/lambda-delta/components/basic_ag/bagUntrusted.ml b/helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagUntrusted.ml rename to helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml diff --git a/helm/software/lambda-delta/components/basic_ag/bagUntrusted.mli b/helm/software/lambda-delta/src/basic_ag/bagUntrusted.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_ag/bagUntrusted.mli rename to helm/software/lambda-delta/src/basic_ag/bagUntrusted.mli diff --git a/helm/software/lambda-delta/components/basic_rg/Make b/helm/software/lambda-delta/src/basic_rg/Make similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/Make rename to helm/software/lambda-delta/src/basic_rg/Make diff --git a/helm/software/lambda-delta/components/basic_rg/brg.ml b/helm/software/lambda-delta/src/basic_rg/brg.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brg.ml rename to helm/software/lambda-delta/src/basic_rg/brg.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgEnvironment.ml b/helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgEnvironment.ml rename to helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgEnvironment.mli b/helm/software/lambda-delta/src/basic_rg/brgEnvironment.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgEnvironment.mli rename to helm/software/lambda-delta/src/basic_rg/brgEnvironment.mli diff --git a/helm/software/lambda-delta/components/basic_rg/brgOutput.ml b/helm/software/lambda-delta/src/basic_rg/brgOutput.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgOutput.ml rename to helm/software/lambda-delta/src/basic_rg/brgOutput.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgOutput.mli b/helm/software/lambda-delta/src/basic_rg/brgOutput.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgOutput.mli rename to helm/software/lambda-delta/src/basic_rg/brgOutput.mli diff --git a/helm/software/lambda-delta/components/basic_rg/brgReduction.ml b/helm/software/lambda-delta/src/basic_rg/brgReduction.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgReduction.ml rename to helm/software/lambda-delta/src/basic_rg/brgReduction.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgReduction.mli b/helm/software/lambda-delta/src/basic_rg/brgReduction.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgReduction.mli rename to helm/software/lambda-delta/src/basic_rg/brgReduction.mli diff --git a/helm/software/lambda-delta/components/basic_rg/brgSubstitution.ml b/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgSubstitution.ml rename to helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgSubstitution.mli b/helm/software/lambda-delta/src/basic_rg/brgSubstitution.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgSubstitution.mli rename to helm/software/lambda-delta/src/basic_rg/brgSubstitution.mli diff --git a/helm/software/lambda-delta/components/basic_rg/brgType.ml b/helm/software/lambda-delta/src/basic_rg/brgType.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgType.ml rename to helm/software/lambda-delta/src/basic_rg/brgType.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgType.mli b/helm/software/lambda-delta/src/basic_rg/brgType.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgType.mli rename to helm/software/lambda-delta/src/basic_rg/brgType.mli diff --git a/helm/software/lambda-delta/components/basic_rg/brgUntrusted.ml b/helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgUntrusted.ml rename to helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml diff --git a/helm/software/lambda-delta/components/basic_rg/brgUntrusted.mli b/helm/software/lambda-delta/src/basic_rg/brgUntrusted.mli similarity index 100% rename from helm/software/lambda-delta/components/basic_rg/brgUntrusted.mli rename to helm/software/lambda-delta/src/basic_rg/brgUntrusted.mli diff --git a/helm/software/lambda-delta/components/common/Make b/helm/software/lambda-delta/src/common/Make similarity index 100% rename from helm/software/lambda-delta/components/common/Make rename to helm/software/lambda-delta/src/common/Make diff --git a/helm/software/lambda-delta/components/common/alpha.ml b/helm/software/lambda-delta/src/common/alpha.ml similarity index 100% rename from helm/software/lambda-delta/components/common/alpha.ml rename to helm/software/lambda-delta/src/common/alpha.ml diff --git a/helm/software/lambda-delta/components/common/alpha.mli b/helm/software/lambda-delta/src/common/alpha.mli similarity index 100% rename from helm/software/lambda-delta/components/common/alpha.mli rename to helm/software/lambda-delta/src/common/alpha.mli diff --git a/helm/software/lambda-delta/components/common/entity.ml b/helm/software/lambda-delta/src/common/entity.ml similarity index 100% rename from helm/software/lambda-delta/components/common/entity.ml rename to helm/software/lambda-delta/src/common/entity.ml diff --git a/helm/software/lambda-delta/components/common/hierarchy.ml b/helm/software/lambda-delta/src/common/hierarchy.ml similarity index 100% rename from helm/software/lambda-delta/components/common/hierarchy.ml rename to helm/software/lambda-delta/src/common/hierarchy.ml diff --git a/helm/software/lambda-delta/components/common/hierarchy.mli b/helm/software/lambda-delta/src/common/hierarchy.mli similarity index 100% rename from helm/software/lambda-delta/components/common/hierarchy.mli rename to helm/software/lambda-delta/src/common/hierarchy.mli diff --git a/helm/software/lambda-delta/components/common/library.ml b/helm/software/lambda-delta/src/common/library.ml similarity index 100% rename from helm/software/lambda-delta/components/common/library.ml rename to helm/software/lambda-delta/src/common/library.ml diff --git a/helm/software/lambda-delta/components/common/library.mli b/helm/software/lambda-delta/src/common/library.mli similarity index 100% rename from helm/software/lambda-delta/components/common/library.mli rename to helm/software/lambda-delta/src/common/library.mli diff --git a/helm/software/lambda-delta/components/common/marks.ml b/helm/software/lambda-delta/src/common/marks.ml similarity index 100% rename from helm/software/lambda-delta/components/common/marks.ml rename to helm/software/lambda-delta/src/common/marks.ml diff --git a/helm/software/lambda-delta/components/common/options.ml b/helm/software/lambda-delta/src/common/options.ml similarity index 100% rename from helm/software/lambda-delta/components/common/options.ml rename to helm/software/lambda-delta/src/common/options.ml diff --git a/helm/software/lambda-delta/components/common/output.ml b/helm/software/lambda-delta/src/common/output.ml similarity index 100% rename from helm/software/lambda-delta/components/common/output.ml rename to helm/software/lambda-delta/src/common/output.ml diff --git a/helm/software/lambda-delta/components/common/output.mli b/helm/software/lambda-delta/src/common/output.mli similarity index 100% rename from helm/software/lambda-delta/components/common/output.mli rename to helm/software/lambda-delta/src/common/output.mli diff --git a/helm/software/lambda-delta/components/complete_rg/Make b/helm/software/lambda-delta/src/complete_rg/Make similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/Make rename to helm/software/lambda-delta/src/complete_rg/Make diff --git a/helm/software/lambda-delta/components/complete_rg/crg.ml b/helm/software/lambda-delta/src/complete_rg/crg.ml similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crg.ml rename to helm/software/lambda-delta/src/complete_rg/crg.ml diff --git a/helm/software/lambda-delta/components/complete_rg/crgAut.ml b/helm/software/lambda-delta/src/complete_rg/crgAut.ml similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgAut.ml rename to helm/software/lambda-delta/src/complete_rg/crgAut.ml diff --git a/helm/software/lambda-delta/components/complete_rg/crgAut.mli b/helm/software/lambda-delta/src/complete_rg/crgAut.mli similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgAut.mli rename to helm/software/lambda-delta/src/complete_rg/crgAut.mli diff --git a/helm/software/lambda-delta/components/complete_rg/crgBrg.ml b/helm/software/lambda-delta/src/complete_rg/crgBrg.ml similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgBrg.ml rename to helm/software/lambda-delta/src/complete_rg/crgBrg.ml diff --git a/helm/software/lambda-delta/components/complete_rg/crgBrg.mli b/helm/software/lambda-delta/src/complete_rg/crgBrg.mli similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgBrg.mli rename to helm/software/lambda-delta/src/complete_rg/crgBrg.mli diff --git a/helm/software/lambda-delta/components/complete_rg/crgOutput.ml b/helm/software/lambda-delta/src/complete_rg/crgOutput.ml similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgOutput.ml rename to helm/software/lambda-delta/src/complete_rg/crgOutput.ml diff --git a/helm/software/lambda-delta/components/complete_rg/crgOutput.mli b/helm/software/lambda-delta/src/complete_rg/crgOutput.mli similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgOutput.mli rename to helm/software/lambda-delta/src/complete_rg/crgOutput.mli diff --git a/helm/software/lambda-delta/components/complete_rg/crgTxt.ml b/helm/software/lambda-delta/src/complete_rg/crgTxt.ml similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgTxt.ml rename to helm/software/lambda-delta/src/complete_rg/crgTxt.ml diff --git a/helm/software/lambda-delta/components/complete_rg/crgTxt.mli b/helm/software/lambda-delta/src/complete_rg/crgTxt.mli similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgTxt.mli rename to helm/software/lambda-delta/src/complete_rg/crgTxt.mli diff --git a/helm/software/lambda-delta/components/complete_rg/crgXml.ml b/helm/software/lambda-delta/src/complete_rg/crgXml.ml similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgXml.ml rename to helm/software/lambda-delta/src/complete_rg/crgXml.ml diff --git a/helm/software/lambda-delta/components/complete_rg/crgXml.mli b/helm/software/lambda-delta/src/complete_rg/crgXml.mli similarity index 100% rename from helm/software/lambda-delta/components/complete_rg/crgXml.mli rename to helm/software/lambda-delta/src/complete_rg/crgXml.mli diff --git a/helm/software/lambda-delta/components/lib/Make b/helm/software/lambda-delta/src/lib/Make similarity index 100% rename from helm/software/lambda-delta/components/lib/Make rename to helm/software/lambda-delta/src/lib/Make diff --git a/helm/software/lambda-delta/components/lib/cps.ml b/helm/software/lambda-delta/src/lib/cps.ml similarity index 100% rename from helm/software/lambda-delta/components/lib/cps.ml rename to helm/software/lambda-delta/src/lib/cps.ml diff --git a/helm/software/lambda-delta/components/lib/log.ml b/helm/software/lambda-delta/src/lib/log.ml similarity index 100% rename from helm/software/lambda-delta/components/lib/log.ml rename to helm/software/lambda-delta/src/lib/log.ml diff --git a/helm/software/lambda-delta/components/lib/log.mli b/helm/software/lambda-delta/src/lib/log.mli similarity index 100% rename from helm/software/lambda-delta/components/lib/log.mli rename to helm/software/lambda-delta/src/lib/log.mli diff --git a/helm/software/lambda-delta/components/lib/share.ml b/helm/software/lambda-delta/src/lib/share.ml similarity index 100% rename from helm/software/lambda-delta/components/lib/share.ml rename to helm/software/lambda-delta/src/lib/share.ml diff --git a/helm/software/lambda-delta/components/lib/time.ml b/helm/software/lambda-delta/src/lib/time.ml similarity index 100% rename from helm/software/lambda-delta/components/lib/time.ml rename to helm/software/lambda-delta/src/lib/time.ml diff --git a/helm/software/lambda-delta/components/text/Make b/helm/software/lambda-delta/src/text/Make similarity index 100% rename from helm/software/lambda-delta/components/text/Make rename to helm/software/lambda-delta/src/text/Make diff --git a/helm/software/lambda-delta/components/text/prova.hln b/helm/software/lambda-delta/src/text/prova.hln similarity index 100% rename from helm/software/lambda-delta/components/text/prova.hln rename to helm/software/lambda-delta/src/text/prova.hln diff --git a/helm/software/lambda-delta/components/text/txt.ml b/helm/software/lambda-delta/src/text/txt.ml similarity index 100% rename from helm/software/lambda-delta/components/text/txt.ml rename to helm/software/lambda-delta/src/text/txt.ml diff --git a/helm/software/lambda-delta/components/text/txtLexer.mll b/helm/software/lambda-delta/src/text/txtLexer.mll similarity index 100% rename from helm/software/lambda-delta/components/text/txtLexer.mll rename to helm/software/lambda-delta/src/text/txtLexer.mll diff --git a/helm/software/lambda-delta/components/text/txtParser.mly b/helm/software/lambda-delta/src/text/txtParser.mly similarity index 100% rename from helm/software/lambda-delta/components/text/txtParser.mly rename to helm/software/lambda-delta/src/text/txtParser.mly diff --git a/helm/software/lambda-delta/components/text/txtTxt.ml b/helm/software/lambda-delta/src/text/txtTxt.ml similarity index 100% rename from helm/software/lambda-delta/components/text/txtTxt.ml rename to helm/software/lambda-delta/src/text/txtTxt.ml diff --git a/helm/software/lambda-delta/components/text/txtTxt.mli b/helm/software/lambda-delta/src/text/txtTxt.mli similarity index 100% rename from helm/software/lambda-delta/components/text/txtTxt.mli rename to helm/software/lambda-delta/src/text/txtTxt.mli diff --git a/helm/software/lambda-delta/components/toplevel/Make b/helm/software/lambda-delta/src/toplevel/Make similarity index 100% rename from helm/software/lambda-delta/components/toplevel/Make rename to helm/software/lambda-delta/src/toplevel/Make diff --git a/helm/software/lambda-delta/components/toplevel/meta.ml b/helm/software/lambda-delta/src/toplevel/meta.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/meta.ml rename to helm/software/lambda-delta/src/toplevel/meta.ml diff --git a/helm/software/lambda-delta/components/toplevel/metaAut.ml b/helm/software/lambda-delta/src/toplevel/metaAut.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaAut.ml rename to helm/software/lambda-delta/src/toplevel/metaAut.ml diff --git a/helm/software/lambda-delta/components/toplevel/metaAut.mli b/helm/software/lambda-delta/src/toplevel/metaAut.mli similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaAut.mli rename to helm/software/lambda-delta/src/toplevel/metaAut.mli diff --git a/helm/software/lambda-delta/components/toplevel/metaBag.ml b/helm/software/lambda-delta/src/toplevel/metaBag.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaBag.ml rename to helm/software/lambda-delta/src/toplevel/metaBag.ml diff --git a/helm/software/lambda-delta/components/toplevel/metaBag.mli b/helm/software/lambda-delta/src/toplevel/metaBag.mli similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaBag.mli rename to helm/software/lambda-delta/src/toplevel/metaBag.mli diff --git a/helm/software/lambda-delta/components/toplevel/metaBrg.ml b/helm/software/lambda-delta/src/toplevel/metaBrg.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaBrg.ml rename to helm/software/lambda-delta/src/toplevel/metaBrg.ml diff --git a/helm/software/lambda-delta/components/toplevel/metaBrg.mli b/helm/software/lambda-delta/src/toplevel/metaBrg.mli similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaBrg.mli rename to helm/software/lambda-delta/src/toplevel/metaBrg.mli diff --git a/helm/software/lambda-delta/components/toplevel/metaLibrary.ml b/helm/software/lambda-delta/src/toplevel/metaLibrary.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaLibrary.ml rename to helm/software/lambda-delta/src/toplevel/metaLibrary.ml diff --git a/helm/software/lambda-delta/components/toplevel/metaLibrary.mli b/helm/software/lambda-delta/src/toplevel/metaLibrary.mli similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaLibrary.mli rename to helm/software/lambda-delta/src/toplevel/metaLibrary.mli diff --git a/helm/software/lambda-delta/components/toplevel/metaOutput.ml b/helm/software/lambda-delta/src/toplevel/metaOutput.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaOutput.ml rename to helm/software/lambda-delta/src/toplevel/metaOutput.ml diff --git a/helm/software/lambda-delta/components/toplevel/metaOutput.mli b/helm/software/lambda-delta/src/toplevel/metaOutput.mli similarity index 100% rename from helm/software/lambda-delta/components/toplevel/metaOutput.mli rename to helm/software/lambda-delta/src/toplevel/metaOutput.mli diff --git a/helm/software/lambda-delta/components/toplevel/top.ml b/helm/software/lambda-delta/src/toplevel/top.ml similarity index 100% rename from helm/software/lambda-delta/components/toplevel/top.ml rename to helm/software/lambda-delta/src/toplevel/top.ml -- 2.39.2