From 95872555aaa040a22ad2d93cb1278f79e20da70c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 11 Sep 2011 11:20:49 +0000 Subject: [PATCH] refactoring ... --- helm/software/{lambda-delta => helena}/.depend.opt | 0 helm/software/{lambda-delta => helena}/Make | 0 helm/software/{lambda-delta => helena}/MakeVersion | 0 helm/software/{lambda-delta => helena}/Makefile | 0 .../{lambda-delta => helena}/Makefile.common | 0 helm/software/{lambda-delta => helena}/README | 0 .../examples/exp_math/L.hln | 0 .../{lambda-delta => helena}/examples/exp_math/Make | 0 .../examples/exp_math/Makefile | 0 .../examples/exp_math/T0.hln | 0 .../examples/exp_math/preamble.hln | 0 .../examples/grundlagen/grundlagen.aut | 0 helm/software/{lambda-delta => helena}/icons/b3.png | Bin helm/software/{lambda-delta => helena}/icons/b4.png | Bin helm/software/{lambda-delta => helena}/icons/b5.png | Bin helm/software/{lambda-delta => helena}/icons/b9.png | Bin .../{lambda-delta => helena}/icons/basic-32.png | Bin .../{lambda-delta => helena}/icons/crux-16.ico | Bin .../{lambda-delta => helena}/icons/crux-32.png | Bin .../{lambda-delta => helena}/icons/helena-32.png | Bin .../{lambda-delta => helena}/icons/helena-label.png | Bin .../{lambda-delta => helena}/icons/rainbow.png | Bin helm/software/{lambda-delta => helena}/src/Make | 0 .../{lambda-delta => helena}/src/automath/Make | 0 .../{lambda-delta => helena}/src/automath/Omega.aut | 0 .../{lambda-delta => helena}/src/automath/aut.ml | 0 .../{lambda-delta => helena}/src/automath/autCrg.ml | 0 .../src/automath/autCrg.mli | 0 .../src/automath/autLexer.mll | 0 .../src/automath/autOutput.ml | 0 .../src/automath/autOutput.mli | 0 .../src/automath/autParser.mly | 0 .../src/automath/autProcess.ml | 0 .../src/automath/autProcess.mli | 0 .../{lambda-delta => helena}/src/basic_ag/Make | 0 .../{lambda-delta => helena}/src/basic_ag/bag.ml | 0 .../{lambda-delta => helena}/src/basic_ag/bagCrg.ml | 0 .../src/basic_ag/bagCrg.mli | 0 .../src/basic_ag/bagEnvironment.ml | 0 .../src/basic_ag/bagEnvironment.mli | 0 .../src/basic_ag/bagOutput.ml | 0 .../src/basic_ag/bagOutput.mli | 0 .../src/basic_ag/bagReduction.ml | 0 .../src/basic_ag/bagReduction.mli | 0 .../src/basic_ag/bagSubstitution.ml | 0 .../src/basic_ag/bagSubstitution.mli | 0 .../src/basic_ag/bagType.ml | 0 .../src/basic_ag/bagType.mli | 0 .../src/basic_ag/bagUntrusted.ml | 0 .../src/basic_ag/bagUntrusted.mli | 0 .../{lambda-delta => helena}/src/basic_rg/Make | 0 .../{lambda-delta => helena}/src/basic_rg/brg.ml | 0 .../{lambda-delta => helena}/src/basic_rg/brgCrg.ml | 0 .../src/basic_rg/brgCrg.mli | 0 .../src/basic_rg/brgEnvironment.ml | 0 .../src/basic_rg/brgEnvironment.mli | 0 .../src/basic_rg/brgOutput.ml | 0 .../src/basic_rg/brgOutput.mli | 0 .../src/basic_rg/brgReduction.ml | 0 .../src/basic_rg/brgReduction.mli | 0 .../src/basic_rg/brgSubstitution.ml | 0 .../src/basic_rg/brgSubstitution.mli | 0 .../src/basic_rg/brgType.ml | 0 .../src/basic_rg/brgType.mli | 0 .../src/basic_rg/brgUntrusted.ml | 0 .../src/basic_rg/brgUntrusted.mli | 0 .../{lambda-delta => helena}/src/common/Make | 0 .../{lambda-delta => helena}/src/common/alpha.ml | 0 .../{lambda-delta => helena}/src/common/alpha.mli | 0 .../{lambda-delta => helena}/src/common/ccs.ml | 0 .../{lambda-delta => helena}/src/common/ccs.mli | 0 .../{lambda-delta => helena}/src/common/entity.ml | 0 .../src/common/hierarchy.ml | 0 .../src/common/hierarchy.mli | 0 .../{lambda-delta => helena}/src/common/level.ml | 0 .../{lambda-delta => helena}/src/common/level.mli | 0 .../{lambda-delta => helena}/src/common/marks.ml | 0 .../{lambda-delta => helena}/src/common/marks.mli | 0 .../{lambda-delta => helena}/src/common/options.ml | 0 .../{lambda-delta => helena}/src/common/output.ml | 0 .../{lambda-delta => helena}/src/common/output.mli | 0 .../{lambda-delta => helena}/src/common/status.ml | 0 .../{lambda-delta => helena}/src/complete_rg/Make | 0 .../{lambda-delta => helena}/src/complete_rg/crg.ml | 0 .../src/complete_rg/crgOutput.ml | 0 .../src/complete_rg/crgOutput.mli | 0 helm/software/{lambda-delta => helena}/src/lib/Make | 0 .../{lambda-delta => helena}/src/lib/cps.ml | 0 .../{lambda-delta => helena}/src/lib/log.ml | 0 .../{lambda-delta => helena}/src/lib/log.mli | 0 .../{lambda-delta => helena}/src/lib/share.ml | 0 .../{lambda-delta => helena}/src/lib/time.ml | 0 .../{lambda-delta => helena}/src/modules.ml | 0 .../software/{lambda-delta => helena}/src/text/Make | 0 .../{lambda-delta => helena}/src/text/prova.hln | 0 .../{lambda-delta => helena}/src/text/txt.ml | 0 .../{lambda-delta => helena}/src/text/txtCrg.ml | 0 .../{lambda-delta => helena}/src/text/txtCrg.mli | 0 .../{lambda-delta => helena}/src/text/txtLexer.mll | 0 .../{lambda-delta => helena}/src/text/txtParser.mly | 0 .../{lambda-delta => helena}/src/text/txtTxt.ml | 0 .../{lambda-delta => helena}/src/text/txtTxt.mli | 0 .../{lambda-delta => helena}/src/toplevel/Make | 0 .../{lambda-delta => helena}/src/toplevel/top.ml | 0 helm/software/{lambda-delta => helena}/src/xml/Make | 0 .../{lambda-delta => helena}/src/xml/xmlCrg.ml | 0 .../{lambda-delta => helena}/src/xml/xmlCrg.mli | 0 .../{lambda-delta => helena}/src/xml/xmlLibrary.ml | 0 .../{lambda-delta => helena}/src/xml/xmlLibrary.mli | 0 .../{lambda-delta => helena}/xml/ld-html-entity.xsl | 0 .../xml/ld-html-library.xsl | 0 .../{lambda-delta => helena}/xml/ld-html-root.xsl | 0 .../{lambda-delta => helena}/xml/ld-html-term.xsl | 0 .../{lambda-delta => helena}/xml/ld-html.css | 0 .../{lambda-delta => helena}/xml/ld-html.xsl | 0 helm/software/{lambda-delta => helena}/xml/ld.dtd | 0 116 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/{lambda-delta => helena}/.depend.opt (100%) rename helm/software/{lambda-delta => helena}/Make (100%) rename helm/software/{lambda-delta => helena}/MakeVersion (100%) rename helm/software/{lambda-delta => helena}/Makefile (100%) rename helm/software/{lambda-delta => helena}/Makefile.common (100%) rename helm/software/{lambda-delta => helena}/README (100%) rename helm/software/{lambda-delta => helena}/examples/exp_math/L.hln (100%) rename helm/software/{lambda-delta => helena}/examples/exp_math/Make (100%) rename helm/software/{lambda-delta => helena}/examples/exp_math/Makefile (100%) rename helm/software/{lambda-delta => helena}/examples/exp_math/T0.hln (100%) rename helm/software/{lambda-delta => helena}/examples/exp_math/preamble.hln (100%) rename helm/software/{lambda-delta => helena}/examples/grundlagen/grundlagen.aut (100%) rename helm/software/{lambda-delta => helena}/icons/b3.png (100%) rename helm/software/{lambda-delta => helena}/icons/b4.png (100%) rename helm/software/{lambda-delta => helena}/icons/b5.png (100%) rename helm/software/{lambda-delta => helena}/icons/b9.png (100%) rename helm/software/{lambda-delta => helena}/icons/basic-32.png (100%) rename helm/software/{lambda-delta => helena}/icons/crux-16.ico (100%) rename helm/software/{lambda-delta => helena}/icons/crux-32.png (100%) rename helm/software/{lambda-delta => helena}/icons/helena-32.png (100%) rename helm/software/{lambda-delta => helena}/icons/helena-label.png (100%) rename helm/software/{lambda-delta => helena}/icons/rainbow.png (100%) rename helm/software/{lambda-delta => helena}/src/Make (100%) rename helm/software/{lambda-delta => helena}/src/automath/Make (100%) rename helm/software/{lambda-delta => helena}/src/automath/Omega.aut (100%) rename helm/software/{lambda-delta => helena}/src/automath/aut.ml (100%) rename helm/software/{lambda-delta => helena}/src/automath/autCrg.ml (100%) rename helm/software/{lambda-delta => helena}/src/automath/autCrg.mli (100%) rename helm/software/{lambda-delta => helena}/src/automath/autLexer.mll (100%) rename helm/software/{lambda-delta => helena}/src/automath/autOutput.ml (100%) rename helm/software/{lambda-delta => helena}/src/automath/autOutput.mli (100%) rename helm/software/{lambda-delta => helena}/src/automath/autParser.mly (100%) rename helm/software/{lambda-delta => helena}/src/automath/autProcess.ml (100%) rename helm/software/{lambda-delta => helena}/src/automath/autProcess.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/Make (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bag.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagCrg.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagCrg.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagEnvironment.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagEnvironment.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagOutput.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagOutput.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagReduction.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagReduction.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagSubstitution.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagSubstitution.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagType.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagType.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagUntrusted.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_ag/bagUntrusted.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/Make (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brg.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgCrg.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgCrg.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgEnvironment.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgEnvironment.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgOutput.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgOutput.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgReduction.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgReduction.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgSubstitution.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgSubstitution.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgType.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgType.mli (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgUntrusted.ml (100%) rename helm/software/{lambda-delta => helena}/src/basic_rg/brgUntrusted.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/Make (100%) rename helm/software/{lambda-delta => helena}/src/common/alpha.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/alpha.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/ccs.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/ccs.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/entity.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/hierarchy.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/hierarchy.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/level.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/level.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/marks.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/marks.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/options.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/output.ml (100%) rename helm/software/{lambda-delta => helena}/src/common/output.mli (100%) rename helm/software/{lambda-delta => helena}/src/common/status.ml (100%) rename helm/software/{lambda-delta => helena}/src/complete_rg/Make (100%) rename helm/software/{lambda-delta => helena}/src/complete_rg/crg.ml (100%) rename helm/software/{lambda-delta => helena}/src/complete_rg/crgOutput.ml (100%) rename helm/software/{lambda-delta => helena}/src/complete_rg/crgOutput.mli (100%) rename helm/software/{lambda-delta => helena}/src/lib/Make (100%) rename helm/software/{lambda-delta => helena}/src/lib/cps.ml (100%) rename helm/software/{lambda-delta => helena}/src/lib/log.ml (100%) rename helm/software/{lambda-delta => helena}/src/lib/log.mli (100%) rename helm/software/{lambda-delta => helena}/src/lib/share.ml (100%) rename helm/software/{lambda-delta => helena}/src/lib/time.ml (100%) rename helm/software/{lambda-delta => helena}/src/modules.ml (100%) rename helm/software/{lambda-delta => helena}/src/text/Make (100%) rename helm/software/{lambda-delta => helena}/src/text/prova.hln (100%) rename helm/software/{lambda-delta => helena}/src/text/txt.ml (100%) rename helm/software/{lambda-delta => helena}/src/text/txtCrg.ml (100%) rename helm/software/{lambda-delta => helena}/src/text/txtCrg.mli (100%) rename helm/software/{lambda-delta => helena}/src/text/txtLexer.mll (100%) rename helm/software/{lambda-delta => helena}/src/text/txtParser.mly (100%) rename helm/software/{lambda-delta => helena}/src/text/txtTxt.ml (100%) rename helm/software/{lambda-delta => helena}/src/text/txtTxt.mli (100%) rename helm/software/{lambda-delta => helena}/src/toplevel/Make (100%) rename helm/software/{lambda-delta => helena}/src/toplevel/top.ml (100%) rename helm/software/{lambda-delta => helena}/src/xml/Make (100%) rename helm/software/{lambda-delta => helena}/src/xml/xmlCrg.ml (100%) rename helm/software/{lambda-delta => helena}/src/xml/xmlCrg.mli (100%) rename helm/software/{lambda-delta => helena}/src/xml/xmlLibrary.ml (100%) rename helm/software/{lambda-delta => helena}/src/xml/xmlLibrary.mli (100%) rename helm/software/{lambda-delta => helena}/xml/ld-html-entity.xsl (100%) rename helm/software/{lambda-delta => helena}/xml/ld-html-library.xsl (100%) rename helm/software/{lambda-delta => helena}/xml/ld-html-root.xsl (100%) rename helm/software/{lambda-delta => helena}/xml/ld-html-term.xsl (100%) rename helm/software/{lambda-delta => helena}/xml/ld-html.css (100%) rename helm/software/{lambda-delta => helena}/xml/ld-html.xsl (100%) rename helm/software/{lambda-delta => helena}/xml/ld.dtd (100%) diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/helena/.depend.opt similarity index 100% rename from helm/software/lambda-delta/.depend.opt rename to helm/software/helena/.depend.opt diff --git a/helm/software/lambda-delta/Make b/helm/software/helena/Make similarity index 100% rename from helm/software/lambda-delta/Make rename to helm/software/helena/Make diff --git a/helm/software/lambda-delta/MakeVersion b/helm/software/helena/MakeVersion similarity index 100% rename from helm/software/lambda-delta/MakeVersion rename to helm/software/helena/MakeVersion diff --git a/helm/software/lambda-delta/Makefile b/helm/software/helena/Makefile similarity index 100% rename from helm/software/lambda-delta/Makefile rename to helm/software/helena/Makefile diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/helena/Makefile.common similarity index 100% rename from helm/software/lambda-delta/Makefile.common rename to helm/software/helena/Makefile.common diff --git a/helm/software/lambda-delta/README b/helm/software/helena/README similarity index 100% rename from helm/software/lambda-delta/README rename to helm/software/helena/README diff --git a/helm/software/lambda-delta/examples/exp_math/L.hln b/helm/software/helena/examples/exp_math/L.hln similarity index 100% rename from helm/software/lambda-delta/examples/exp_math/L.hln rename to helm/software/helena/examples/exp_math/L.hln diff --git a/helm/software/lambda-delta/examples/exp_math/Make b/helm/software/helena/examples/exp_math/Make similarity index 100% rename from helm/software/lambda-delta/examples/exp_math/Make rename to helm/software/helena/examples/exp_math/Make diff --git a/helm/software/lambda-delta/examples/exp_math/Makefile b/helm/software/helena/examples/exp_math/Makefile similarity index 100% rename from helm/software/lambda-delta/examples/exp_math/Makefile rename to helm/software/helena/examples/exp_math/Makefile diff --git a/helm/software/lambda-delta/examples/exp_math/T0.hln b/helm/software/helena/examples/exp_math/T0.hln similarity index 100% rename from helm/software/lambda-delta/examples/exp_math/T0.hln rename to helm/software/helena/examples/exp_math/T0.hln diff --git a/helm/software/lambda-delta/examples/exp_math/preamble.hln b/helm/software/helena/examples/exp_math/preamble.hln similarity index 100% rename from helm/software/lambda-delta/examples/exp_math/preamble.hln rename to helm/software/helena/examples/exp_math/preamble.hln diff --git a/helm/software/lambda-delta/examples/grundlagen/grundlagen.aut b/helm/software/helena/examples/grundlagen/grundlagen.aut similarity index 100% rename from helm/software/lambda-delta/examples/grundlagen/grundlagen.aut rename to helm/software/helena/examples/grundlagen/grundlagen.aut diff --git a/helm/software/lambda-delta/icons/b3.png b/helm/software/helena/icons/b3.png similarity index 100% rename from helm/software/lambda-delta/icons/b3.png rename to helm/software/helena/icons/b3.png diff --git a/helm/software/lambda-delta/icons/b4.png b/helm/software/helena/icons/b4.png similarity index 100% rename from helm/software/lambda-delta/icons/b4.png rename to helm/software/helena/icons/b4.png diff --git a/helm/software/lambda-delta/icons/b5.png b/helm/software/helena/icons/b5.png similarity index 100% rename from helm/software/lambda-delta/icons/b5.png rename to helm/software/helena/icons/b5.png diff --git a/helm/software/lambda-delta/icons/b9.png b/helm/software/helena/icons/b9.png similarity index 100% rename from helm/software/lambda-delta/icons/b9.png rename to helm/software/helena/icons/b9.png diff --git a/helm/software/lambda-delta/icons/basic-32.png b/helm/software/helena/icons/basic-32.png similarity index 100% rename from helm/software/lambda-delta/icons/basic-32.png rename to helm/software/helena/icons/basic-32.png diff --git a/helm/software/lambda-delta/icons/crux-16.ico b/helm/software/helena/icons/crux-16.ico similarity index 100% rename from helm/software/lambda-delta/icons/crux-16.ico rename to helm/software/helena/icons/crux-16.ico diff --git a/helm/software/lambda-delta/icons/crux-32.png b/helm/software/helena/icons/crux-32.png similarity index 100% rename from helm/software/lambda-delta/icons/crux-32.png rename to helm/software/helena/icons/crux-32.png diff --git a/helm/software/lambda-delta/icons/helena-32.png b/helm/software/helena/icons/helena-32.png similarity index 100% rename from helm/software/lambda-delta/icons/helena-32.png rename to helm/software/helena/icons/helena-32.png diff --git a/helm/software/lambda-delta/icons/helena-label.png b/helm/software/helena/icons/helena-label.png similarity index 100% rename from helm/software/lambda-delta/icons/helena-label.png rename to helm/software/helena/icons/helena-label.png diff --git a/helm/software/lambda-delta/icons/rainbow.png b/helm/software/helena/icons/rainbow.png similarity index 100% rename from helm/software/lambda-delta/icons/rainbow.png rename to helm/software/helena/icons/rainbow.png diff --git a/helm/software/lambda-delta/src/Make b/helm/software/helena/src/Make similarity index 100% rename from helm/software/lambda-delta/src/Make rename to helm/software/helena/src/Make diff --git a/helm/software/lambda-delta/src/automath/Make b/helm/software/helena/src/automath/Make similarity index 100% rename from helm/software/lambda-delta/src/automath/Make rename to helm/software/helena/src/automath/Make diff --git a/helm/software/lambda-delta/src/automath/Omega.aut b/helm/software/helena/src/automath/Omega.aut similarity index 100% rename from helm/software/lambda-delta/src/automath/Omega.aut rename to helm/software/helena/src/automath/Omega.aut diff --git a/helm/software/lambda-delta/src/automath/aut.ml b/helm/software/helena/src/automath/aut.ml similarity index 100% rename from helm/software/lambda-delta/src/automath/aut.ml rename to helm/software/helena/src/automath/aut.ml diff --git a/helm/software/lambda-delta/src/automath/autCrg.ml b/helm/software/helena/src/automath/autCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/automath/autCrg.ml rename to helm/software/helena/src/automath/autCrg.ml diff --git a/helm/software/lambda-delta/src/automath/autCrg.mli b/helm/software/helena/src/automath/autCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/automath/autCrg.mli rename to helm/software/helena/src/automath/autCrg.mli diff --git a/helm/software/lambda-delta/src/automath/autLexer.mll b/helm/software/helena/src/automath/autLexer.mll similarity index 100% rename from helm/software/lambda-delta/src/automath/autLexer.mll rename to helm/software/helena/src/automath/autLexer.mll diff --git a/helm/software/lambda-delta/src/automath/autOutput.ml b/helm/software/helena/src/automath/autOutput.ml similarity index 100% rename from helm/software/lambda-delta/src/automath/autOutput.ml rename to helm/software/helena/src/automath/autOutput.ml diff --git a/helm/software/lambda-delta/src/automath/autOutput.mli b/helm/software/helena/src/automath/autOutput.mli similarity index 100% rename from helm/software/lambda-delta/src/automath/autOutput.mli rename to helm/software/helena/src/automath/autOutput.mli diff --git a/helm/software/lambda-delta/src/automath/autParser.mly b/helm/software/helena/src/automath/autParser.mly similarity index 100% rename from helm/software/lambda-delta/src/automath/autParser.mly rename to helm/software/helena/src/automath/autParser.mly diff --git a/helm/software/lambda-delta/src/automath/autProcess.ml b/helm/software/helena/src/automath/autProcess.ml similarity index 100% rename from helm/software/lambda-delta/src/automath/autProcess.ml rename to helm/software/helena/src/automath/autProcess.ml diff --git a/helm/software/lambda-delta/src/automath/autProcess.mli b/helm/software/helena/src/automath/autProcess.mli similarity index 100% rename from helm/software/lambda-delta/src/automath/autProcess.mli rename to helm/software/helena/src/automath/autProcess.mli diff --git a/helm/software/lambda-delta/src/basic_ag/Make b/helm/software/helena/src/basic_ag/Make similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/Make rename to helm/software/helena/src/basic_ag/Make diff --git a/helm/software/lambda-delta/src/basic_ag/bag.ml b/helm/software/helena/src/basic_ag/bag.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bag.ml rename to helm/software/helena/src/basic_ag/bag.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagCrg.ml b/helm/software/helena/src/basic_ag/bagCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagCrg.ml rename to helm/software/helena/src/basic_ag/bagCrg.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagCrg.mli b/helm/software/helena/src/basic_ag/bagCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagCrg.mli rename to helm/software/helena/src/basic_ag/bagCrg.mli diff --git a/helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml b/helm/software/helena/src/basic_ag/bagEnvironment.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagEnvironment.ml rename to helm/software/helena/src/basic_ag/bagEnvironment.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagEnvironment.mli b/helm/software/helena/src/basic_ag/bagEnvironment.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagEnvironment.mli rename to helm/software/helena/src/basic_ag/bagEnvironment.mli diff --git a/helm/software/lambda-delta/src/basic_ag/bagOutput.ml b/helm/software/helena/src/basic_ag/bagOutput.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagOutput.ml rename to helm/software/helena/src/basic_ag/bagOutput.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagOutput.mli b/helm/software/helena/src/basic_ag/bagOutput.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagOutput.mli rename to helm/software/helena/src/basic_ag/bagOutput.mli diff --git a/helm/software/lambda-delta/src/basic_ag/bagReduction.ml b/helm/software/helena/src/basic_ag/bagReduction.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagReduction.ml rename to helm/software/helena/src/basic_ag/bagReduction.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagReduction.mli b/helm/software/helena/src/basic_ag/bagReduction.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagReduction.mli rename to helm/software/helena/src/basic_ag/bagReduction.mli diff --git a/helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml b/helm/software/helena/src/basic_ag/bagSubstitution.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml rename to helm/software/helena/src/basic_ag/bagSubstitution.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagSubstitution.mli b/helm/software/helena/src/basic_ag/bagSubstitution.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagSubstitution.mli rename to helm/software/helena/src/basic_ag/bagSubstitution.mli diff --git a/helm/software/lambda-delta/src/basic_ag/bagType.ml b/helm/software/helena/src/basic_ag/bagType.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagType.ml rename to helm/software/helena/src/basic_ag/bagType.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagType.mli b/helm/software/helena/src/basic_ag/bagType.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagType.mli rename to helm/software/helena/src/basic_ag/bagType.mli diff --git a/helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml b/helm/software/helena/src/basic_ag/bagUntrusted.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagUntrusted.ml rename to helm/software/helena/src/basic_ag/bagUntrusted.ml diff --git a/helm/software/lambda-delta/src/basic_ag/bagUntrusted.mli b/helm/software/helena/src/basic_ag/bagUntrusted.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_ag/bagUntrusted.mli rename to helm/software/helena/src/basic_ag/bagUntrusted.mli diff --git a/helm/software/lambda-delta/src/basic_rg/Make b/helm/software/helena/src/basic_rg/Make similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/Make rename to helm/software/helena/src/basic_rg/Make diff --git a/helm/software/lambda-delta/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brg.ml rename to helm/software/helena/src/basic_rg/brg.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgCrg.ml b/helm/software/helena/src/basic_rg/brgCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgCrg.ml rename to helm/software/helena/src/basic_rg/brgCrg.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgCrg.mli b/helm/software/helena/src/basic_rg/brgCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgCrg.mli rename to helm/software/helena/src/basic_rg/brgCrg.mli diff --git a/helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml b/helm/software/helena/src/basic_rg/brgEnvironment.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgEnvironment.ml rename to helm/software/helena/src/basic_rg/brgEnvironment.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgEnvironment.mli b/helm/software/helena/src/basic_rg/brgEnvironment.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgEnvironment.mli rename to helm/software/helena/src/basic_rg/brgEnvironment.mli diff --git a/helm/software/lambda-delta/src/basic_rg/brgOutput.ml b/helm/software/helena/src/basic_rg/brgOutput.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgOutput.ml rename to helm/software/helena/src/basic_rg/brgOutput.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgOutput.mli b/helm/software/helena/src/basic_rg/brgOutput.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgOutput.mli rename to helm/software/helena/src/basic_rg/brgOutput.mli diff --git a/helm/software/lambda-delta/src/basic_rg/brgReduction.ml b/helm/software/helena/src/basic_rg/brgReduction.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgReduction.ml rename to helm/software/helena/src/basic_rg/brgReduction.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgReduction.mli b/helm/software/helena/src/basic_rg/brgReduction.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgReduction.mli rename to helm/software/helena/src/basic_rg/brgReduction.mli diff --git a/helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml b/helm/software/helena/src/basic_rg/brgSubstitution.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml rename to helm/software/helena/src/basic_rg/brgSubstitution.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgSubstitution.mli b/helm/software/helena/src/basic_rg/brgSubstitution.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgSubstitution.mli rename to helm/software/helena/src/basic_rg/brgSubstitution.mli diff --git a/helm/software/lambda-delta/src/basic_rg/brgType.ml b/helm/software/helena/src/basic_rg/brgType.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgType.ml rename to helm/software/helena/src/basic_rg/brgType.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgType.mli b/helm/software/helena/src/basic_rg/brgType.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgType.mli rename to helm/software/helena/src/basic_rg/brgType.mli diff --git a/helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml b/helm/software/helena/src/basic_rg/brgUntrusted.ml similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgUntrusted.ml rename to helm/software/helena/src/basic_rg/brgUntrusted.ml diff --git a/helm/software/lambda-delta/src/basic_rg/brgUntrusted.mli b/helm/software/helena/src/basic_rg/brgUntrusted.mli similarity index 100% rename from helm/software/lambda-delta/src/basic_rg/brgUntrusted.mli rename to helm/software/helena/src/basic_rg/brgUntrusted.mli diff --git a/helm/software/lambda-delta/src/common/Make b/helm/software/helena/src/common/Make similarity index 100% rename from helm/software/lambda-delta/src/common/Make rename to helm/software/helena/src/common/Make diff --git a/helm/software/lambda-delta/src/common/alpha.ml b/helm/software/helena/src/common/alpha.ml similarity index 100% rename from helm/software/lambda-delta/src/common/alpha.ml rename to helm/software/helena/src/common/alpha.ml diff --git a/helm/software/lambda-delta/src/common/alpha.mli b/helm/software/helena/src/common/alpha.mli similarity index 100% rename from helm/software/lambda-delta/src/common/alpha.mli rename to helm/software/helena/src/common/alpha.mli diff --git a/helm/software/lambda-delta/src/common/ccs.ml b/helm/software/helena/src/common/ccs.ml similarity index 100% rename from helm/software/lambda-delta/src/common/ccs.ml rename to helm/software/helena/src/common/ccs.ml diff --git a/helm/software/lambda-delta/src/common/ccs.mli b/helm/software/helena/src/common/ccs.mli similarity index 100% rename from helm/software/lambda-delta/src/common/ccs.mli rename to helm/software/helena/src/common/ccs.mli diff --git a/helm/software/lambda-delta/src/common/entity.ml b/helm/software/helena/src/common/entity.ml similarity index 100% rename from helm/software/lambda-delta/src/common/entity.ml rename to helm/software/helena/src/common/entity.ml diff --git a/helm/software/lambda-delta/src/common/hierarchy.ml b/helm/software/helena/src/common/hierarchy.ml similarity index 100% rename from helm/software/lambda-delta/src/common/hierarchy.ml rename to helm/software/helena/src/common/hierarchy.ml diff --git a/helm/software/lambda-delta/src/common/hierarchy.mli b/helm/software/helena/src/common/hierarchy.mli similarity index 100% rename from helm/software/lambda-delta/src/common/hierarchy.mli rename to helm/software/helena/src/common/hierarchy.mli diff --git a/helm/software/lambda-delta/src/common/level.ml b/helm/software/helena/src/common/level.ml similarity index 100% rename from helm/software/lambda-delta/src/common/level.ml rename to helm/software/helena/src/common/level.ml diff --git a/helm/software/lambda-delta/src/common/level.mli b/helm/software/helena/src/common/level.mli similarity index 100% rename from helm/software/lambda-delta/src/common/level.mli rename to helm/software/helena/src/common/level.mli diff --git a/helm/software/lambda-delta/src/common/marks.ml b/helm/software/helena/src/common/marks.ml similarity index 100% rename from helm/software/lambda-delta/src/common/marks.ml rename to helm/software/helena/src/common/marks.ml diff --git a/helm/software/lambda-delta/src/common/marks.mli b/helm/software/helena/src/common/marks.mli similarity index 100% rename from helm/software/lambda-delta/src/common/marks.mli rename to helm/software/helena/src/common/marks.mli diff --git a/helm/software/lambda-delta/src/common/options.ml b/helm/software/helena/src/common/options.ml similarity index 100% rename from helm/software/lambda-delta/src/common/options.ml rename to helm/software/helena/src/common/options.ml diff --git a/helm/software/lambda-delta/src/common/output.ml b/helm/software/helena/src/common/output.ml similarity index 100% rename from helm/software/lambda-delta/src/common/output.ml rename to helm/software/helena/src/common/output.ml diff --git a/helm/software/lambda-delta/src/common/output.mli b/helm/software/helena/src/common/output.mli similarity index 100% rename from helm/software/lambda-delta/src/common/output.mli rename to helm/software/helena/src/common/output.mli diff --git a/helm/software/lambda-delta/src/common/status.ml b/helm/software/helena/src/common/status.ml similarity index 100% rename from helm/software/lambda-delta/src/common/status.ml rename to helm/software/helena/src/common/status.ml diff --git a/helm/software/lambda-delta/src/complete_rg/Make b/helm/software/helena/src/complete_rg/Make similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/Make rename to helm/software/helena/src/complete_rg/Make diff --git a/helm/software/lambda-delta/src/complete_rg/crg.ml b/helm/software/helena/src/complete_rg/crg.ml similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crg.ml rename to helm/software/helena/src/complete_rg/crg.ml diff --git a/helm/software/lambda-delta/src/complete_rg/crgOutput.ml b/helm/software/helena/src/complete_rg/crgOutput.ml similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crgOutput.ml rename to helm/software/helena/src/complete_rg/crgOutput.ml diff --git a/helm/software/lambda-delta/src/complete_rg/crgOutput.mli b/helm/software/helena/src/complete_rg/crgOutput.mli similarity index 100% rename from helm/software/lambda-delta/src/complete_rg/crgOutput.mli rename to helm/software/helena/src/complete_rg/crgOutput.mli diff --git a/helm/software/lambda-delta/src/lib/Make b/helm/software/helena/src/lib/Make similarity index 100% rename from helm/software/lambda-delta/src/lib/Make rename to helm/software/helena/src/lib/Make diff --git a/helm/software/lambda-delta/src/lib/cps.ml b/helm/software/helena/src/lib/cps.ml similarity index 100% rename from helm/software/lambda-delta/src/lib/cps.ml rename to helm/software/helena/src/lib/cps.ml diff --git a/helm/software/lambda-delta/src/lib/log.ml b/helm/software/helena/src/lib/log.ml similarity index 100% rename from helm/software/lambda-delta/src/lib/log.ml rename to helm/software/helena/src/lib/log.ml diff --git a/helm/software/lambda-delta/src/lib/log.mli b/helm/software/helena/src/lib/log.mli similarity index 100% rename from helm/software/lambda-delta/src/lib/log.mli rename to helm/software/helena/src/lib/log.mli diff --git a/helm/software/lambda-delta/src/lib/share.ml b/helm/software/helena/src/lib/share.ml similarity index 100% rename from helm/software/lambda-delta/src/lib/share.ml rename to helm/software/helena/src/lib/share.ml diff --git a/helm/software/lambda-delta/src/lib/time.ml b/helm/software/helena/src/lib/time.ml similarity index 100% rename from helm/software/lambda-delta/src/lib/time.ml rename to helm/software/helena/src/lib/time.ml diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/helena/src/modules.ml similarity index 100% rename from helm/software/lambda-delta/src/modules.ml rename to helm/software/helena/src/modules.ml diff --git a/helm/software/lambda-delta/src/text/Make b/helm/software/helena/src/text/Make similarity index 100% rename from helm/software/lambda-delta/src/text/Make rename to helm/software/helena/src/text/Make diff --git a/helm/software/lambda-delta/src/text/prova.hln b/helm/software/helena/src/text/prova.hln similarity index 100% rename from helm/software/lambda-delta/src/text/prova.hln rename to helm/software/helena/src/text/prova.hln diff --git a/helm/software/lambda-delta/src/text/txt.ml b/helm/software/helena/src/text/txt.ml similarity index 100% rename from helm/software/lambda-delta/src/text/txt.ml rename to helm/software/helena/src/text/txt.ml diff --git a/helm/software/lambda-delta/src/text/txtCrg.ml b/helm/software/helena/src/text/txtCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/text/txtCrg.ml rename to helm/software/helena/src/text/txtCrg.ml diff --git a/helm/software/lambda-delta/src/text/txtCrg.mli b/helm/software/helena/src/text/txtCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/text/txtCrg.mli rename to helm/software/helena/src/text/txtCrg.mli diff --git a/helm/software/lambda-delta/src/text/txtLexer.mll b/helm/software/helena/src/text/txtLexer.mll similarity index 100% rename from helm/software/lambda-delta/src/text/txtLexer.mll rename to helm/software/helena/src/text/txtLexer.mll diff --git a/helm/software/lambda-delta/src/text/txtParser.mly b/helm/software/helena/src/text/txtParser.mly similarity index 100% rename from helm/software/lambda-delta/src/text/txtParser.mly rename to helm/software/helena/src/text/txtParser.mly diff --git a/helm/software/lambda-delta/src/text/txtTxt.ml b/helm/software/helena/src/text/txtTxt.ml similarity index 100% rename from helm/software/lambda-delta/src/text/txtTxt.ml rename to helm/software/helena/src/text/txtTxt.ml diff --git a/helm/software/lambda-delta/src/text/txtTxt.mli b/helm/software/helena/src/text/txtTxt.mli similarity index 100% rename from helm/software/lambda-delta/src/text/txtTxt.mli rename to helm/software/helena/src/text/txtTxt.mli diff --git a/helm/software/lambda-delta/src/toplevel/Make b/helm/software/helena/src/toplevel/Make similarity index 100% rename from helm/software/lambda-delta/src/toplevel/Make rename to helm/software/helena/src/toplevel/Make diff --git a/helm/software/lambda-delta/src/toplevel/top.ml b/helm/software/helena/src/toplevel/top.ml similarity index 100% rename from helm/software/lambda-delta/src/toplevel/top.ml rename to helm/software/helena/src/toplevel/top.ml diff --git a/helm/software/lambda-delta/src/xml/Make b/helm/software/helena/src/xml/Make similarity index 100% rename from helm/software/lambda-delta/src/xml/Make rename to helm/software/helena/src/xml/Make diff --git a/helm/software/lambda-delta/src/xml/xmlCrg.ml b/helm/software/helena/src/xml/xmlCrg.ml similarity index 100% rename from helm/software/lambda-delta/src/xml/xmlCrg.ml rename to helm/software/helena/src/xml/xmlCrg.ml diff --git a/helm/software/lambda-delta/src/xml/xmlCrg.mli b/helm/software/helena/src/xml/xmlCrg.mli similarity index 100% rename from helm/software/lambda-delta/src/xml/xmlCrg.mli rename to helm/software/helena/src/xml/xmlCrg.mli diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.ml b/helm/software/helena/src/xml/xmlLibrary.ml similarity index 100% rename from helm/software/lambda-delta/src/xml/xmlLibrary.ml rename to helm/software/helena/src/xml/xmlLibrary.ml diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli similarity index 100% rename from helm/software/lambda-delta/src/xml/xmlLibrary.mli rename to helm/software/helena/src/xml/xmlLibrary.mli diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/helena/xml/ld-html-entity.xsl similarity index 100% rename from helm/software/lambda-delta/xml/ld-html-entity.xsl rename to helm/software/helena/xml/ld-html-entity.xsl diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/helena/xml/ld-html-library.xsl similarity index 100% rename from helm/software/lambda-delta/xml/ld-html-library.xsl rename to helm/software/helena/xml/ld-html-library.xsl diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/helena/xml/ld-html-root.xsl similarity index 100% rename from helm/software/lambda-delta/xml/ld-html-root.xsl rename to helm/software/helena/xml/ld-html-root.xsl diff --git a/helm/software/lambda-delta/xml/ld-html-term.xsl b/helm/software/helena/xml/ld-html-term.xsl similarity index 100% rename from helm/software/lambda-delta/xml/ld-html-term.xsl rename to helm/software/helena/xml/ld-html-term.xsl diff --git a/helm/software/lambda-delta/xml/ld-html.css b/helm/software/helena/xml/ld-html.css similarity index 100% rename from helm/software/lambda-delta/xml/ld-html.css rename to helm/software/helena/xml/ld-html.css diff --git a/helm/software/lambda-delta/xml/ld-html.xsl b/helm/software/helena/xml/ld-html.xsl similarity index 100% rename from helm/software/lambda-delta/xml/ld-html.xsl rename to helm/software/helena/xml/ld-html.xsl diff --git a/helm/software/lambda-delta/xml/ld.dtd b/helm/software/helena/xml/ld.dtd similarity index 100% rename from helm/software/lambda-delta/xml/ld.dtd rename to helm/software/helena/xml/ld.dtd -- 2.39.2